New comment by paper42 on void-packages repository https://github.com/void-linux/void-packages/pull/36165#issuecomment-1080014046 Comment: I agree with @Vaelatern and because there 3 team members agree on this, I am closing this PR.