INSTALL.md and README.md, 4 years overdue.