Библиотека GCM менеджера Android SDK

Я только что увидел, что Google устарел от C2DM и заменил его на GCM. На своем веб-сайте они шаг за шагом описывают нам, как установить библиотеку GCM, необходимую для начала реализации нового push-уведомления Android (или Cloud Messaging, как они его называют ).

На "Установить вспомогательные библиотеки" написано:

To perform the steps described in the following sections, you must first install the helper libraries (reference: client and server). From the SDK Manager, install Extras > Google Cloud Messaging for Android Library. This creates a gcm directory under YOUR_SDK_ROOT/extras/google/ containing these subdirectories: gcm-client, gcm-demo-appengine, gcm-demo-client, gcm-demo-server, and gcm-server.

Я открыл менеджер SDK от Eclipse, но в разделе Extras ничего нет, кроме "Intel hardware ускоренного выполнения менеджера". Я не вижу чего-то другого.

Как найти/добавить/установить GCM в диспетчере SDK?