I’m interested to hear what file manager you’re using.