New comment by joshuakraemer on void-packages repository https://github.com/void-linux/void-packages/pull/31397#issuecomment-1097119439 Comment: @tibequadorian, thank you for the review and hints. I hope it is ok to merge now.