I've been experimenting a bit, but I'm struggling to find out how to search for file extensions in the app. I've found a workaround: I navigate to a file of the type I'm looking for, such as WebM, then I view the file information, where I can tap on the corresponding file extension to filter by it. However, I'm wondering if there's an official method for doing this. I'd appreciate it if someone could explain it to me.
I've been experimenting a bit, but I'm struggling to find out how to search for file extensions in the app. I've found a workaround: I navigate to a file of the type I'm looking for, such as WebM, then I view the file information, where I can tap on the corresponding file extension to filter by it. However, I'm wondering if there's an official method for doing this. I'd appreciate it if someone could explain it to me.