Fixed. Forgotten when we moved the developer docs a while ago.
In addition, why isn't INSTALL stored in git?
Because it's built from SGML, to have the same contents as the html/pdf docs. We don't typically store derived files in git - only some exceptions like configure.