New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/29128#issuecomment-881684002

Comment:
I had to fix some tiny stuff; `INSTALL.md` wasn't the correct file name, and there was an unnecessary change to `INSTALL`.