fetch-dtd.pl mostly working