@set UPDATED 11 July 2020
@set UPDATED-MONTH July 2020
@set EDITION 1.3.0-g488451
@set VERSION 1.3.0-g488451
