> The "--help" option appears as a hyperlink leading to> hardly relevant or useful. [...]
> http://docs.python.org/dev/py3k/using/cmdline.html#cmdoption--help, which is
>I think this is a doc bug in Doc/documenting/markup.rst
> -h/:option:`--help`
> print a short usage message and exit
:cmdoption: and :option: are not clearly distinguished; the latter
creates references to using/cmdline, the former is what you’re looking
for for documenting trace.py.