The new “ignore file extensions” in the filter bar settings breaks the ability to filter by file type.
So when using the file type menu can you make it auto-temporarily numb the “ignore file extensions” option so we can use that menu quickly, while keeping ignore extensions on by default.
(Using the file type section will always include the file extension, regardless of defaults)

