New comment by paper42 on void-packages repository

https://github.com/void-linux/void-packages/issues/42410#issuecomment-1442183925

Comment:
In that case, I think we solved the mystery and we can close this.