I think I will add the file size to the index, since it's really cheap.

Thanks!