New comment by paper42 on void-packages repository https://github.com/void-linux/void-packages/pull/37681#issuecomment-1407644772 Comment: most of these changes look like they could be merged separately, so please open separate PRs for them