formatting INSTALLATION.md