So do we. I know I like both names. :) And yes they are updating files and such to correct specific bugs and and new features. They have several servers (rolling restarts, remember?)
I suspect that they have specific server that has no game traffic managing these boards too.