gui: print the marker string from glStringMarkerGREMEDY directly
gui: Generalize from glStringMarkerGREMEDY to all markers.
gui: Silence duplicate widget warning.