New comment by Vaelatern on void-packages repository

https://github.com/void-linux/void-packages/pull/19131#issuecomment-586937029

Comment:
This would be a valid use for a one-line INSTALL.msg, to be removed after how long?