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 under gnome.
it's fixed in 4.0.0, which is available in rawhide.