Added: devel messages printed using standard Drupal theme, pause dismiss timer on hover (ref #1322272)