@set UPDATED 7 January 2020
@set UPDATED-MONTH January 2020
@set EDITION 0.10
@set VERSION 0.10
