That sounds like a relatively logical approach, professor. I just thought I’d get this one up on the board: it and other extensions can be resolved as future contingents.
Thanks!
Also, I’d point out that the discussion above regarding <s>
vs. <del>
is exactly why I think its important to be explicit about targeting HTML5.