@set UPDATED 3 February 2020
@set UPDATED-MONTH February 2020
@set EDITION 0.7.0
@set VERSION 0.7.0
