Avoid that user input is passed to the HTML output directly by using HTML methods for tag generation. This also enables additional phan checks. Change-Id: Iff584ac829c190e413a36331c53d6835a86bc0d5