3 ms·
And the actual change was made at least 15 years ago: https://web.archive.org/web/20071001102153/https://www.w3.org/html/wg/html5/diff/#changed-elements https:/
by chrismorgan 4y ago
And the actual change was made at least 15 years ago: https://web.archive.org/web/20071001102153/https://www.w3.org/html/wg/html5/diff/#changed-elements https://web.archive.org/web/20071001102153/https://www.w3.or.... (Can’t be bothered finding even earlier drafts to find when it actually happened, but it could be a few more.)