@set UPDATED 5 December 2023
@set UPDATED-MONTH December 2023
@set EDITION 2.12
@set VERSION 2.12
