Have "system messages" appear in a different color

See commits for details.