Edit README and INSTALL.