New comment by paper42 on void-packages repository https://github.com/void-linux/void-packages/issues/14373#issuecomment-913233131 Comment: @CarDGee As I mentioned in #14638, if someone creates a new PR, I am interested in reviewing (and then potentially merging) it.