There's some update that could be published to the documentation website? @mboersma do you have write access to publish some updated documentation? We were faced to a documentation lack in https://github.com/docopt/docopts/issues/40 which also looks like #14 too.