2 ms·

typing / in the pager doesn't work for you?

• KingMob 1y ago
  Not always. See my sibling comment for details, and an example of when a smarter search strategy would be better.