Adjusted encoding of help.inc.php to UTF-8