Edd Dumbill: What next for GNOME's user interface?