Initially I wanted to delete only the duplicated `<html>` opening tag, but then decided to make it a fully valid HTML document. Passes https://validator.w3.org/nu/#textarea check.
