@set UPDATED 3 January 2020
@set UPDATED-MONTH January 2020
@set EDITION 4.2.93
@set VERSION 4.2.93
