[benhurmarcel]

Unchecked by default is fine, what bothers me a lot is that it's impossible to display filename extensions on iOS/iPadOS.