ah, yup. The reason I made this change is because it felt a little weird to have the opening and closing `html` tags in different includes, so I moved these opening tags to the layout (which again is always used).

not quite sure why the default theme has it in a different include, but unless we can think of a good reason to have it separated into the `head` include, i'd like to join them in the `default` layout.

ultimately I'll leave this decision up to you, so either undo this change, or remove these lines from the default layout.