Disable some debugging, move gui_startup() to mygtk collection,
allow markup for mygtk.label() text.