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