I'm running a linux box with kdm and with multiple users. There is no consensus about desktops so several users used KDE and several use gnome. The difficulty is that the gnome users cannot use the switch-user option. Is this a design choice? If so, why?