Delete an extra copy of the docs.

There was an extra copy of the docs in doc/doc. Deleting it.

Soon we'll be down to just one copy, now to keep it up to date!
Update docs.