Well IANAL but the couple of summaries I read on this specific issue (who is covered) seemed to take the position that EU-resident non-citizens would be covered

Well IANAL but the couple of summaries I read on this specific issue (who is covered) seemed to take the position that EU-resident non-citizens would be covered, including perhaps even just travelers and other people passing through. I admit to not having looked into it in depth, however.