Document messages

Document messages via GtkInfoBar, based on Matthew Brush's work