Keyboard social justice warriors won then. Sad day. Best of luck to Mozilla. And to America.