On Thu, 23 May 2019 at 13:44, Andreas Müller <schnitzeltony at gmail.com> wrote: > > Why -help- and not -doc? > > > Because there are help files installed in 'help' directory and > displayed by a help browser. Sounds a lot like documentation to me...