Agreed, let's do #1. It sounds like this isn't our only HTML5 validity problem. We shouldn't punish our readers with poorly-formatted content in the name of technical correctness.
Rob
Long term though I still think we should aim for technical correctness. Which is why I advocate #4 as well.
DJ would you mind explaining again (in different terms) why we can't do both #1 and #4 (#1 as a temporary measure while we achieve #4)? I don't think I quite understood your first explanation.
Thank you, Derric Atzrott