@set UPDATED 16 January 2022
@set UPDATED-MONTH January 2022
@set EDITION 1.8+git20220218
@set VERSION 1.8+git20220218
