Prove that HTML in textareas is handled correctly