John Fieber 601c73f488 Change a few <htmlurl>s into <url>s. Generally, use the <url> tag unless
the url attribute is functionally redundant with the name attribute.
1996-10-06 20:33:37 +00:00
..