@set UPDATED 3 May 2020
@set UPDATED-MONTH May 2020
@set EDITION 1.3.0-g1c59b7
@set VERSION 1.3.0-g1c59b7
