In reply to a tweet by annevk:

@annevk IIRC a start tag named “main” closes an open <p> just like other sectioning elements. I should recheck the “in body” steps.