This new filter is useful for debugging purposes, whenever we want to
search for a specific document, content-wise.

To generate a Git object id for a file, simply use the `git
hash-object <file>` utility, or `git ls-tree HEAD`.