Better Markdown in INSTALL.txt