@set UPDATED 30 October 2019
@set UPDATED-MONTH October 2019
@set EDITION 1.3.0-gee387a
@set VERSION 1.3.0-gee387a
