Too bad really, since I've been bususy creating html-t1.dtd and html-t2.dtd
which represent two levels of proposed table handling compatible with the ICADD tables and with the HTMLplus proposed so long ago by Dave.
You all appreciate, I'm sure that this could end up being one Real Big
DTD. (Compared to the old HTML 2.0 anyway, not compared to some of the
monsters that are out there.)
My vote for Proposition 3.
As far as IETF goes: Does it already do publishing with an ISBN? How
does it normally register its work?
Yuri