GNOME developer quote of the day

I am no longer using GNOME but Xfce and this has nothing to do with GNOME Shell. I already switched a long time ago. But as the (co-)maintainer of several terminals in Fedora, I wondered how to enable users to easily switch their default terminal emulator in GNOME 3. In the past users could just …