Documentation is the top-level index.html file.