8.4: CTRL-SHIFT-f no longer works as shortcut to Find and Replace

Hi,

I just found that the long-established standard keyboard shortcut on windows/linux for "Find" and "Find and replace" no longer works:  CTRL-SHIFT-f has been there for as long as I can remember.

I looked at the 8.4 docs here:  https://www.pgadmin.org/docs/pgadmin4/development/keyboard_shortcuts.html

I can see that there is now "Shift+Ctrl+f" under "Shortcut for all platforms" for the function Quick Search.  That is the one now popping up when using that shortcut.

But at the end of the "SQL Editors" section, you see "Ctrl+Shift+f" for the function replace.

So something must be wrong here - "Shift+Ctrl+f" and "Ctrl+Shift+f" are the same, since the keys are pressed simultaneously.

Or is there some devious plot at work here that my grey cells don't get?

Enlightenment would be appreciated....

Regards

Calle