A "label_html" option should be implemented as an alternative to "label", which may contain markup that will not be escaped.