Ways to select old owners

Another problem thats come up from the coalface; there appears to be no
nice way to select tickets that are owned by people who are no longer
privileged users. Has anyone patched Search/Listing.html to support this?

                         Bruce Campbell                            RIPE
               Systems/Network Engineer                             NCC
             www.ripe.net - PGP562C8B1B             Operations/Security