2 ms·

I didn't even know that existed, thank you. ripgrep seems to have something similar: rg -g '*.foo' --files