Just one additional comment, like Dave I did switch to KDE to try it out before switching back to Gnome. However, no problems at that point (1-Nov).
Just one additional comment, like Dave I did switch to KDE to try it out before switching back to Gnome. However, no problems at that point (1-Nov).