desktop switching tool has no icon in the gnome menu.
Also it shows up under more system settings and more system tools.
switchdesk-3.9.8-12 fixes the dual desktop icon goofup.
Reassigning to graphic artist to design icon
where is 3.9.8-12? phoebe2 and rawhide only have 3.9.8-10
It's in our internal development tree of rawhide and will be available
publically when rawhide get's pushed to the public next.
Just installed switchdesk-3.9.8-13 and problem still exists. Switchdesk now
appears under More Preferences, More System Settings, and More System Tools
it's fixed in 4.0.0, which is available in rawhide.