TODO

   1 TODO
   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)
   7 o full-text search using Namazu (?)