(TXT) restricted-doc-defs.tex