never mind; go back to htmlspecialchars