Releases 2023

The following releases were done in 2023: