Drazen Kacar <dave@public.srce.hr> writes regarding htmlpro.dtd:

You probably want the home page URL, though. Try
<URL:http://www.arbornet.org/~silmaril/dtds/html/htmlpro.html>
The site cannot be reached sometimes. The mirror exists somewhere, but I
don't have the URL.