INSTALL.txt -> INSTALL.rst. actual content still missing...