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 (?)