Improve comment stripping for rustdoc.#9443

alexcrichton wants to merge 1 commit intorust-lang:masterrust-lang/rust:masterfrom

alexcrichton:better-comment-stripalexcrichton/rust:better-comment-stripCopy head branch name to clipboard