Move github-specific instructions to INSTALL.txt, where people are looking for them.