Description of Problem: Switchdesk shows up both in Extras -> Preferences ("Desktop Switching Tool") and in Extras -> System Settings ("Desktop Switching Tool"). Version-Release number of selected component (if applicable): 3.9.8-9
Fixed in: Version: 3.9.8 Release: 15