Improve first page (typos and text), and fixes for new domain feature of github pages.