Text this: Hilbert modular forms and Iwasawa theory