Text this: Seasonal adjustment of Irish official statistics during the COVID-19 crisis.