But I still think `document_filter` should be just a function, unless you have some complicated use-case I don't understand.