I've reassigned the bug to the gnome-orca package. This might not be the right package, but it does seem to be an Orca issue, not a problem with the preferences or the desktop.