New comment by paper42 on void-packages repository https://github.com/void-linux/void-packages/pull/23581#issuecomment-923051957 Comment: done in 179065ff7e05381ac2063f6877d8da33b97bae19 without the patch, do we still need it?