Extension system for filters
The use-cases for both file and directory filters are very wide-ranging, and it would be awesome to be able to allow users more flexibility in how filtering was applied. However, neither our current backend or UI can handle this in a sensible way.
One option is to provide a plugin/extension-based system that allowed more extensive and configurable ways to filter both text and files.
One use case would be to use a large database of ignore-worthy files such as https://github.com/github/gitignore
Another use case would be to provide a domain-specific text-transformation plugin so that complicated formats could be easily translated to diff-able versions.