HTML tags in the documentation should be escaped