After the developer sprint, my toolbar is missing the "switch area" buttons. This is probably due to some rc file version problem, right? I know I can fix it by removing some file in my home directory, but well, it should also be fixed for all the other users out there. Greetings, David