Text this: Iwasawa theory for elliptic curves