New comment by ericonr on void-packages repository https://github.com/void-linux/void-packages/pull/28544#issuecomment-782321887 Comment: @Gottox why prefer a new package instead of an update, as in #28885 ? @leleliu008 do they use the GNU extensions with `//` and such ? :/