Remove unused pages

This deletes a few unused pages (at least nothing seems to link to them), including reinstating #17 (which got wiped out by #14).