[anta40]

Well this is so far my favourite Android file manager. I simply ignore the built-in file manager on all devices I use and pick Total Commander instead.