New comment by leahneukirchen on void-packages repository https://github.com/void-linux/void-packages/pull/49253#issuecomment-1991583376 Comment: Whole file can be deleted now. Will follow up with a bump.