Upgrade to Eclipse 2023-03

We are currently upgrading to Eclipse 2022-06, see #176 (closed). At some point, we'll upgrade to a later version, 2022-09 or later. Here we'll collect information that will be relevant at that time. Note that we may skip 2022-09 and upgrade to a later version. See our upgrade policy.

Update 2023-04-01: We'll upgrade to Eclipse 2023-03.