Pātuhitia tēnei: Hilbert modular forms and Iwasawa theory