New comment by paper42 on void-packages repository https://github.com/void-linux/void-packages/pull/14638#issuecomment-903278937 Comment: If someone wants to revive this PR (clean it, update the packages, etc.), I (and probably other interested people) will review it and potentially merge it.