New comment by camoz on void-packages repository https://github.com/void-linux/void-packages/pull/34703#issuecomment-1001189702 Comment: Personally, I don't care if this gets merged or `INSTALL.msg` is removed. Removing seems simpler and sounds reasonable to me.