Earlier quoted context omitted.
I don't think your theory fits the facts... The bug is from 2018, and was fixed three years later. So it doesn't seem like there was any kind of special prioritization going on here. It was also fixed by a person working at Microsoft, not by somebody at Google.
I think the point that was if anyone but Google wanted this, it'd get laughed all the way to WONTFIX.
BTW Google already allowed MDM (device) admins to disable devtools, but everyone involved in the issue also wanted it to disable view-source since it allowed students to look at the HTML.
0: https://bugs.chromium.org/p/chromium/issues/detail?id=895462...
1: https://bugs.chromium.org/p/chromium/issues/detail?id=895462...