New review comment by paper42 on void-packages repository https://github.com/void-linux/void-packages/pull/32838#discussion_r702399431 Comment: Do we still need this?