New comment by daerich on void-packages repository https://github.com/void-linux/void-packages/pull/31818#issuecomment-885570027 Comment: Finally got around to do it :D. Rewritten as demanded. Minor editorial changes to proposal.