New review comment by ericonr on void-packages repository https://github.com/void-linux/void-packages/pull/30880#discussion_r632861479 Comment: The correct one for this release branch would be `gnome-builder-3-40`, but I guess you prefer to stick with the one that documents major releases?