Ack. Boring. I'll ask me.zhanghai.android.files in such cases for help. Neat full filesystem search.

https://f-droid.org/packages/me.zhanghai.android.files/