Various minor updates to documentation and website mainpage.