@set UPDATED 11 November 2019
@set UPDATED-MONTH November 2019
@set EDITION 1.8+git20191117
@set VERSION 1.8+git20191117
