New comment by leahneukirchen on void-packages repository

https://github.com/void-linux/void-packages/pull/35710#issuecomment-1073004382

Comment:
Do you want to make a PR that supercedes this one?