Fixed the broken links on the web site after the renamings done in the last commit.