Fix broken links; rename publish links to INSTALL