pothos-gui: tweaks to grip panel  label