Yeah, but your editorialised title suggested a recent change, whereas this change was made over fifteen years ago. (Can’t trivially find exactly when the change

Yeah, but your editorialised title suggested a recent change, whereas this change was made over fifteen years ago. (Can’t trivially find exactly when the change was made, but it’s already present in <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...>.)