The instructions at
https://developer.android.com/sdk/installing/bundle.html for installing ADT
(via the new ADT bundle mechanism) no longer mentions how to explicitly set
Eclipse's repository mechanism to point at google's adt plugin repo site.
New users wouldn't need that info. But some existing users (users of
Mips-built ADT plugins) do need to know how to unset the Mips repo and set
Google's repo, without wiping out their current Eclipse install.
Unfortunately, I forgot the Google url myself!