New comment by cinerea0 on void-packages repository https://github.com/void-linux/void-packages/pull/23937#issuecomment-666045993 Comment: Understood, it's best to leave it as-is. I'll close this PR now.