I have to admit I'm not very familiar with forms, their usage, and
implementation. Could somebody out there hack around with adding
exlusion exceptions to the DTD until they're satisfied that it
reflects reality? I recommend Earl Hood's dtd2html as a way to
visualize the results.

I just got a copy of Microstar's Near&Far graphical DTD developer,
which they have generously let me use to produce structure diagrams of
DTDs, especially HTML for the book, and TEI for a project we have
here.

I haven't quite got the hang of it, but there's the result of
displaying the current HTML 2.0 DTD with the FORMS element expanded in