@set UPDATED 25 November 2020
@set UPDATED-MONTH November 2020
@set EDITION 2.12
@set VERSION 2.12
