On Fri, May 8, 2015 at 10:13 AM, Anne van Kesteren <ann...@annevk.nl> wrote: > On Fri, May 8, 2015 at 7:09 PM, Tab Atkins Jr. <jackalm...@gmail.com> wrote: >> I don't think ascii case-insensitivity is a mistake here. > > (ASCII) case-insensitivity is a mistake. JavaScript doesn't have it > and wherever we do have it it's sticking out as sore thumb with a > dozen subtleties attached.
It's all over CSS (every single language-defined keyword is CI), and all over a bunch of HTML. Whether you think it's a mistake or not, it's *common*, and having some tags use it while others don't is confusing. ~TJ