Thanks for checking, Christian.

I think we should decide based on their added value: I don't use any file 
managers on the cmdline on my own, what's the main advantage of the mentioned 
file managers over let's say for example mc?

We can't just add and add software, our ISOs are oversized already and we need 
to get them down to 700MB again, that's why I'm quite picky on software 
additions.

regards,
-mika-