3 ms·

I use `man -k` (which is the same thing) all the time. It has a slightly different use case though.

• kjs3 6y ago
  Those were the two I immediately thought of as well.