further fixes to formatting
tweaks to the install page's toctree; apparently github can't handle displaying toctrees