[docs] [issue25062] Doc linter error: [2] library/typing.rst:358: default role used

[Zachary Ware]

Guido van Rossum added the comment:
> That link gives me a timeout right now. How can I run the doc linter manually? "make html" in the Doc tree didn't alert me to this issue.

"make check" is the doc linter.

I've considered whether to back that buildbot off to only warn on
'lint' or 'suspicious' failure, but warnings aren't reported by the
IRC notifier.  Anyone else have an opinion on that?