Comment by dmd

It’s always been bizarre to me how bad browsers themselves are at searching their own history. This looks great.