New comment by dkwo on void-packages repository https://github.com/void-linux/void-packages/pull/32932#issuecomment-964102703 Comment: @ericonr This is now a minimal change, do you think it can be merged?