Whoever did this must have realised the users will hate it. So… is this just demonstrating that the internal culture emphasises other things than user happiness?

I also note that ”for PRs” - will we see these appearing as comments in generated code?