On Tue, Jul 29, 2014 at 12:55 PM, Mauro <mauro...@runbox.com> wrote:

> I would hope/work for an improved help/documentation system, including
> user-defined documentation.


Yes, that's also important and we definitely need to make big progress
there.

Reply via email to