@set UPDATED 13 September 2020
@set UPDATED-MONTH September 2020
@set EDITION 1.4.2-g45ca17
@set VERSION 1.4.2-g45ca17
