Update release docs, and fix broken INSTALL link.