4 ms·

There is a difference, I believe. Doesn't Ctrl+r do a substring search instead?

• imglorp 7mo ago
  Yes it's different: it will match anywhere in the previous command lines.