add option `--short-names` to drop module names from annotated html