@set UPDATED 19 September 2020
@set UPDATED-MONTH September 2020
@set EDITION 0.3.0-35-g89babf6
@set VERSION 0.3.0-35-g89babf6
