New review comment by dmarto on void-packages repository

https://github.com/void-linux/void-packages/pull/37061#discussion_r868941684

Comment:
True, but it still exists in the repos and can be installed (or someone could have it installed and ignored), and as we all know the `alternatives` do have some issues. So, isn't it better to keep it around until the pkg is removed from the repos as well?