What's the utility of "mail_*" entries in config.inc.php? mail_user, mail_server, mail_password. I've them without value. Is this normal?