@set UPDATED 21 September 2020
@set UPDATED-MONTH September 2020
@set EDITION 0.9.72
@set VERSION 0.9.72
