Profile docs

Fixes #379 (closed).

I improved the hastily written summary code to use an extension and be a little more robust, largely because I thought that having a separate page to describe the profile symlink was unnecessary, so I've in-lined that into the index page along with summaries of the other subpages.