New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/25648#issuecomment-710732639

Comment:
Isn't it bad if people have this installed and lose the tools?