Hi Please recommend a file manager. I need a good one to make my wife happy. We used to settle with the the file manager that comes default with Gnome, but now that one can't rename files any more (it actually can initially, but stop responding to keyboard very soon). please help thanks