Google has been using that name semi-publicly since at least 2011.