Just found out that Irish citizens vaccinated in NI or GB can get an [EU digital COVID cert](https://www.gov.ie/en/publication/3a698-eu-digital-covid-certificate/#people-who-have-been-vaccinated-in-another-country).
Less of an issue now that the EU accepts proofs from all four countries, but might be useful to get just in case.