@set UPDATED 5 September 2020
@set UPDATED-MONTH September 2020
@set EDITION 3.7.2
@set VERSION 3.7.2
