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.
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.