devtools

00da6cfb - [Product Quality] Fix copy-to-clipboard behavior in the console (#9204)