Thanks for posting this, Helmuti! I've also written documentation for this extension over at the extensions.wikidot.com:

Extension Documentation

Be carefull with the extensions.wikidot.com - this is the wiki of Shane.. :)
I made the same mistake first on the app:extension on the community ..
But you are right - I will insert the link to the newest Documentation of your wiki in the text above..

Not to forget your clever implementation!

This works well and FAST !

This is a great tool..

Just a question, which doesn't have anything to do with this. You say: "in front of the IMPROVED File Manager tool"

When I click there, I get just this:
total storage: 5 GB
used storage: 269.08 MB
number of files: 857
storage size left: 4.74 GB

Which I wouldn't call IMPROVED… :D:D:D:D

Am I missing something?

I apologise, Ken, I see now that this is one of your extensions… I guess I'll have to install Greasemonkey first (I use FF) and then I will be able to see all of them…

I wasn't aware of your work, sorry. :)