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