In the "search for document" functionality it is not possible to search for documents modified by users that no longer have access to the project. The pull down menu only contains current members.

I consider this to be on the border of being a "bug" and suggest that all members (present or past) that have modified one or more documents be available in the pull down menu.