0.8.10: update Gnome profile