New comment by mobinmob on void-packages repository

https://github.com/void-linux/void-packages/pull/20887#issuecomment-629633603

Comment:
@jnbr : I removed the procompiled man page, thank you.