New review comment by leahneukirchen on void-packages repository https://github.com/void-linux/void-packages/pull/32601#discussion_r744945649 Comment: is this a typo, or redundant?