New comment by paper42 on void-packages repository

https://github.com/void-linux/void-packages/issues/9956#issuecomment-897197688

Comment:
@emacsomancer can we close this?