New comment by paper42 on void-packages repository

https://github.com/void-linux/void-packages/pull/42037#issuecomment-1414205146

Comment:
> This should probably be closed, see #42038.

that PR may take a while to be merged, @unrealjo please reopen this PR