@set UPDATED 5 July 2020
@set UPDATED-MONTH July 2020
@set EDITION 1.3.0-g6ef257
@set VERSION 1.3.0-g6ef257
