New review comment by paper42 on void-packages repository https://github.com/void-linux/void-packages/pull/39015#discussion_r1022133016 Comment: specifying which lines should be deleted is very fragile, I think a patch would be better.