[development] user_mail() becomes drupal_mail() and gets hook_mail_alter()