Based on the two answers of @Tomas in this question, I write the following code to render user input as HTML. The HTMLStringView method works fine, but the
HTMLStringView