Rename extraterrestrial to ET.

Much easier to type.