WEBSITE make developers index a toctree, add menu items, clean up landing page