https://html.spec.whatwg.org/multipage/parsing.html#closing-elements-that-have-implied-end-tags
#TIL
Mastodon server of https://doma.dev.
This could have saved me some typing back in the 1990s.