New comment by Piraty on void-packages repository https://github.com/void-linux/void-packages/pull/29599#issuecomment-826369220 Comment: I am in favor of merging this. objections @Vaelatern ?