issue 2252 option to disallow DTDs