New comment by q66 on void-packages repository https://github.com/void-linux/void-packages/pull/31961#issuecomment-879957588 Comment: this is something for @void-linux/pkg-committers personally I'm fine with just dropping it, otoh it's easy to miss when removing orphans, so dunno