Rollup of 9 pull requests#77954

Merged

bors merged 36 commits intorust-lang:masterfrom

JohnTitor:rollup-bpoy497

Oct 15, 2020

Commits on Oct 5, 2020

Commits on Oct 6, 2020

Enforce whitespace ascii character check for doc alias
GuillaumeGomez
committed

Commits on Oct 12, 2020

Clean up rustdoc HTML tags check pass
GuillaumeGomez
committed

Commits on Oct 13, 2020

Add check for HTML comments
GuillaumeGomez
committed

Commits on Oct 14, 2020