chore(tools): Fix rustdoc page parsing in web fetch tool#643

JeanMertz merged 1 commit into

maindcdpr/jp:mainfrom

prr214dcdpr/jp:prr214Copy head branch name to clipboard