New comment by dkwo on void-packages repository https://github.com/void-linux/void-packages/pull/46250#issuecomment-1758302657 Comment: @leahneukirchen can this be merged?