New review comment by chrysos349 on void-packages repository https://github.com/void-linux/void-packages/pull/47615#discussion_r1417143898 Comment: this isn't necessary. delete this.