pothos-gui: switch to HTML based dot markup