New review comment by ericonr on void-packages repository https://github.com/void-linux/void-packages/pull/31910#discussion_r668744189 Comment: Yes, that's the idea, to not unnecessarily duplicate them :)