WIP: Connecting the GUI 7

The "Connecting the GUI 8" commit should probably put an end to issue
#133. All we need now is for Experimenter to pay attention to the
formatting options in its panel.