pothos-gui: better job with extra shortcuts to avoid duplicates