If you are not a Larceny developer, you should not be using this github site.
This site contains HTML files for Larceny's public web pages. All of the links within these HTML files are designed to work when the HTML files are copied to Larceny's public web site. Those links are unlikely to work within this site.