Also - I don't recognize Jerry, but I do recognize many of the other names on the threads, and they're VPs or SVPs. So there's no argument of "this is just some random Googlers talking before their bosses got involved". These are the bosses.