Allow HTML in grader messages.