html variations and incompatibility and .init files

Hi,

I would like to know what to do for the default .init file, as there are
some variations among browser and among html. My suggestion is that the
default .init file should produce valid 4.0 html with use of style, 
summary and maybe class attributes, but try not to rely on these to 
have the right result and try to be as universal as possible.

I also think that there should be another .init file (called 
compatibility.init, for example) which aims at giving a right result with 
the maximum number of browsers, including somewhat old 
and exotic ones. Does it seems sensible to you ?

Now I have some questions/suggestions for the implementation:

* For @-, there are 2 possibilities: ignore it or replace it by ­ 
(or &173;). From http://www.cs.tut.fi/~jkorpela/shy.html it seems that 
some browser replace it by a - and some other consider it as an hyphenation
hint (which is what @- is if I'm not wrong). 
I suggest ignoring @- to handle both cases (this is what the current code do).

* style/class/summary attribute:
Some are allready present in the code, some should replace <font> (especially
in @smalldisplay, @smallexample as otherwise the document isn't valid), and 
tidy rightly insists on summary in tables. But I fear that older browser don't 
handle this nicely. What do you think/know about that ? Does old browsers
ignore those attributes ?

If the old browsers just ignore these attributes, I would go on and make the 
changes without worrying, otherwise I suggest doing the separate 
compatibility.init file without those attributes.

Pat