New comment by paper42 on void-packages repository

https://github.com/void-linux/void-packages/pull/36315#issuecomment-1345647052

Comment:
Patch them, remove them or create separate packages with v4 libraries, but I think we might want to wait a bit.