FYI, for now, I shouldn't call my tools' existing SXML variant "SXML".
(I haven't yet heard back from Oleg.)
Regarding moving my tools' formats back to 100% SXML: I want to specify
things so that the symbols like "*top*" can be lowercase (original SXML
spec was ambiguous, IIRC), and I'd really like to keep a reasonable
ASCII representation for HTML character entity references, like `(&
rArr)`, especially for handwritten HTML. (I think my original HtmlPrag
parser from 2003 supported that character entity extension to SXML, it's
been useful, and I'd really like to keep using it.) I'm more ready to
give up my other tweaks, like limited to 1NF, and the alternate to the
somewhat problematic `@` character.
I'll try Oleg again in a month or so, if I don't hear back before then.
Neil V.