android :: Extra :: html_text
fun html_text: JavaString in "Java" `{ return Intent.EXTRA_HTML_TEXT; `}