If they had never used it, maybe it wouldn't matter, but if they were allowed to use it and then got blocked, I think the sense of going backwards would be huge. Simply blocking it does look like it would become a bottleneck for work efficiency, but it seems like a decision made after really weighing which matters more for those jobs, work efficiency or security. Developers would of course lose a lot of efficiency without something like Claude Code, but I don't know the jobs mentioned in enough detail.