Per https://lists.w3.org/Archives/Public/spec-prod/2019AprJun/0000.html we should migrate all [HTML51] and [HTML52] references to [HTML]. (Obsoletes #462)