Googleplex?

I remember noticing that the Android section got renamed a while ago, but just now that I was about to make a post related to Android that I noticed that they called it 'Googleplex'?

I think that's a bad choice because there is so much more to Android than just Google.

That's all.

What do you guys think?