Doc tweaks; link to github pages