Expand Dolphin's filter capabilities or just straight up integrate fzf

Alas, the filter only looks at filenames, so there’s no way I can tell to do something like “show me all files that end in .csv but only in folders whose names start with 2023”.