r2058 + use htmlspecialchars() instead of htmlentities() to leave Greek letters intact