lablgtk seems to be not really maintained, and a number of serious bug reports remain open. Long term, we should stop using it, which means either not having a GUI, using some other bindings from ocaml, or having some kind of control API and a GUI written in some other language. Or something else I haven't thought of.

Followups on -hackers please. This is simply a placeholder issue that the current situation is unsound.