@set UPDATED 18 September 2023
@set UPDATED-MONTH September 2023
@set EDITION 0.22.5
@set VERSION 0.22.5
@set ARCHIVE-VERSION 0.22.4
