@set UPDATED 19 April 2020
@set UPDATED-MONTH April 2020
@set EDITION 0.8.0
@set VERSION 0.8.0
