@set UPDATED 6 November 2022
@set UPDATED-MONTH November 2022
@set EDITION 1.8+git20221127
@set VERSION 1.8+git20221127
