New review comment by Piraty on void-packages repository https://github.com/void-linux/void-packages/pull/23239#discussion_r474460809 Comment: is that comment useful besides the reason given in the commit's text?