New comment by dkwo on void-packages repository https://github.com/void-linux/void-packages/pull/35012#issuecomment-1013223780 Comment: Yes, please do, I've already edited distfiles accordingly.