New comment by emacsomancer on void-packages repository https://github.com/void-linux/void-packages/pull/21131#issuecomment-616624459 Comment: @sgn Yes, I think this looks ready to push.