Hi thanks for that, but these do not seem to do the same, instead they fold at a higher level, not individual brackets. However, both functionalities are just called "Fold" in the keyboard editor, so I did not realize that the second does something different (i.e. the thing I was look for).
Would be good to have different names for that in the keyboard editor to avoid further confusion :).
