[jwilk]

FWIW, the Domain Name Registration Policy (https://eurid.eu/media/filer_public/76/48/7648e621-0c5d-4c09... , linked from https://eurid.eu/en/register-a-eu-domain/rules-for-eu-domain...) doesn't mention EEA; it spells out the 3 extra countries explicitly.