(PE-3215) Delete obsolete documentation

Delete the files in the doc/ directory; the content has already been
migrated to the wiki.