Gnome dev gives fans of Linux's middle-click paste the middle finger