New comment by sgn on void-packages repository

https://github.com/void-linux/void-packages/pull/23490#issuecomment-656134991

Comment:
If it needs user manual intervention, a message is nice.