Feature request: Download by specific file type

Would be nice to download by specific file types like .jar .zip etc etc or just have a box(es) where you can just put .whatever