[#156] Remove some pages/text

Some of this Steven couldn't remove through GitHub's web interface, and
some has been manually copy/pasted from other documents, when it should
be copied automatically into the built documentation instead.