Don't we want `INSTALL.md`?