Comment 115 for bug 691380

> (comment #111) That is Bug 579372. Which is marked WONTFIX

While that bug may have been closed prematurely (I would agree with such an assessment), there are bug 564328 on untangling the Ctrl+F shortcut and the underlying cmd_find logic (which caused bug 581566 on mixed-up menus too), as well as bug 571280 on the focus issue where you can navigate into a no-op. Hopefully there is sufficient agreement by now that combining the functions of these two operations under a single command and shortcut wasn't a good idea.