New comment by Piraty on void-packages repository

https://github.com/void-linux/void-packages/pull/20355#issuecomment-607145981

Comment:
fine with me. ok to merge?