Flagged Out-of-Date Comment: tidy-html5-git

a821 flagged tidy-html5-git out-of-date on 2023-10-10 (UTC) for the following reason:

please see patch in last comment.