2 ms·how does this differ from `history | grep` or the usual history-autocmp plugins?by ardatasci 3mo agohow does this differ from `history | grep` or the usual history-autocmp plugins?