Just a simple search for files, just type the name of the file you want without extension. Examle: to search for mamba.zip use "mamba".