Gave INSTALL.md more Markdown trimmings