Add a few Sage examples, fix a few typos
More fixes to html version