rustdoc: clean up DOM by removing `.dockblock-short p`#101778

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

notriddle:notriddle/docblock-short-pnotriddle/rust:notriddle/docblock-short-pCopy head branch name to clipboard