Rethinking the GNOME clipboard issues