TODO
====
* Better error reporting from low-level folder ops to GUI
* Add a Developer manual (describing APIs, and howtos, for
plugins writers)
o full-text search using Namazu (?)