There's a new (November 2022) release of EF Core — version 7, which has some major differences from previous versions (e.g. it doesn't support lazy loading, as for now).
Should there be a specific tag for it? I suggest [entity-framework-core-7]? I'm not yet allowed to create new tags.
EDIT: yes, [ef-core-7.0] exists, I didn't find it because I expected it to be similar to the previous tags (e.g. [entity-framework-core-3.1]). I now suggest renaming it to [entity-framework-core-7] so that it's easy to find (this discrepancy leads to misunderstandings like my question).