Rename "doc" page.

I guess that's the easiest way to fix the problems discussed at the end of #57.

Ping @jdavis.