@set UPDATED 2 August 2019
@set UPDATED-MONTH August 2019
@set EDITION 0.10
@set VERSION 0.10
