New comment by paper42 on void-packages repository

https://github.com/void-linux/void-packages/pull/36319#issuecomment-1204563380

Comment:
@leahneukirchen do you think we could merge this now?