@set UPDATED 30 November 2018
@set UPDATED-MONTH November 2018
@set EDITION 0.8.6
@set VERSION 0.8.6
