I plainly told the manager responsible for programming that we all use web extensions and there's just no way to effectively prevent programmers from running whatever software they deem necessary, so I'm suggesting to allow them in Windows group policy purely as a matter of efficiency.

It has only just occurred me how much I'm relying on his better judgment not to try and crack down on this.

Wish me and my team luck.