TODO: we should write down a couple guidelines for these document them in
        the PHPDoc code of drupal_set_message()!  .