New comment by gc-user on void-packages repository https://github.com/void-linux/void-packages/pull/41109#issuecomment-1353303192 Comment: Thanks! Github won't let me do edits I expected I would be able to do... :-)