@set UPDATED 3 August 2020
@set UPDATED-MONTH August 2020
@set EDITION 1.3.0-ge45cdf
@set VERSION 1.3.0-ge45cdf
