If `labelHTML` is always treated as HTML, then its type should be just `HTML`.