pothos-gui: misc changes