Remove unnecessary `Option` in `default_doc`#82106

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

jyn514:cleanup-bootstrapjyn514/rust:cleanup-bootstrapCopy head branch name to clipboard