Remove dead docs

It appears that these docs files were from previous builds, but no
longer match the current source.

This is what was left after deleting the docs/ directory, then re-running
grunt.