@set UPDATED 3 July 2023
@set UPDATED-MONTH July 2023
@set EDITION 2.12~rc1
@set VERSION 2.12~rc1
