DRJ's notes for shell.html

Greg, I've added some comments to shell.html, all in HTML comments, so hopefully I haven't changed the layout or anything.