Docs: delete DMNetwork website and misc. TAO TeX from src/docs, and remove all traces of src/docs
Remove this content as it's not visible in the docs build. Relevant parts of it can and should be migrated to the new doc system in doc/ when the authors have time.
This should be the end of src/docs
, so remove all mentions of it, including some entire scripts that are no longer used.
With !4433 (merged) and !4434 (merged), closes #1017 (closed)
Edited by Patrick Sanan