since when is html case sensitive?