Drop unused aboutTor.dtd

Drop "abouTor.dtd" now that the changes in #41333 (closed) have reached 13.0.