Linus switches back to Gnome