Introduce `HTML.escape`