More lenient html_encode. And format textarea button