Remove docs in a vain attempt to nuke git submodule.