@set UPDATED 11 May 2019
@set UPDATED-MONTH May 2019
@set EDITION 0.20.1
@set VERSION 0.20.1
@set ARCHIVE-VERSION 0.20
