3 ms·

That was meant to represent hitting Ctrl-x then Ctrl-f without letting go of the Ctrl key.

• name_for_now 10y ago
  That's not actually necessary, so it was probably just to show a sequence of keypresses.