This announcement is the answer: It's not a terminal any more; it's an IDE.

AIDE

	▲	mig1 5 days ago \| parent [-]
		TM