@set UPDATED 5 June 2023
@set UPDATED-MONTH June 2023
@set EDITION 1.6.12
@set VERSION 1.6.12
