Well, it seems it is exactly what I would mean in fact.
But I'm a Mac user, I'm very
used to having the keyboard shortcuts written in the menus… Here, it seems there is nothing at all, neither in the menu, nor in any help page I could find.
Well, nice to have, but again, F2 is not there. Are there other hidden shortcuts like this one?