New review comment by paper42 on void-packages repository https://github.com/void-linux/void-packages/pull/40320#discussion_r1014077525 Comment: It doesn't hurt, but since we are already improving it, we can get rid of it.