@set UPDATED 8 November 2019
@set UPDATED-MONTH November 2019
@set EDITION 0.9.3
@set VERSION 0.9.3
