The intention of wrapping HTML in an `__html` is to avoid accidentally unsafe rendering of something that is non-html. Including this in the definition export solves the problem, and does not seem too onerous for other possible users of that file. Close #2725