Comment by TeddyDD

This seems to be insanely useful. Google search is so bad nowadays I often withed for some kind of history indexing. Good job!