New comment by paper42 on void-packages repository

https://github.com/void-linux/void-packages/pull/32415#issuecomment-897811310

Comment:
> I personally think there is no good reason to not ship those files, don't think there is any agreed policy tho.

We should decide this, the current way is too messy. @Duncaen would you like to make an RFC issue since you came up with this idea?