New comment by travankor on void-packages repository https://github.com/void-linux/void-packages/pull/25288#issuecomment-710102458 Comment: I think it can be removed, only two packages use it and I'm not sure if they actually benefit from it. Not saying it has to be done in this PR, though.