Eu encontrei uma solução bastante eficaz: eu uso o Gnome Search Tool, que permite pesquisar somente arquivos que foram modificados em um determinado número de dias. Embora os resultados não sejam classificados por data de modificação, o número de resultados de pesquisa é tão drasticamente reduzido que nunca é difícil encontrar o arquivo que estou procurando.