* INSTALL.md: Add some text to address issue #7.