@set UPDATED 1 October 2023
@set UPDATED-MONTH October 2023
@set EDITION 1.8+git20231217
@set VERSION 1.8+git20231217
