Unless someone objects, I am going to make this change for the next version so that our \url's in the TDS document will get hyperdvi specials ... % to put a hypertext link in the DVI file: % % \def\Url@use#1\,{\special{html:<a href="#1">}#1\special{html:</a>}}