Finish 3744

This finishes the great pull request started by @mickaelandrieu in #3744.
no (some people like it though). However, we showed examples of it and it is a feature of the component (and part of the docopt specification), so we should document it imo