Sonar: minimal adjustment of gnome profile