@set UPDATED 9 June 2022
@set UPDATED-MONTH June 2022
@set EDITION 4.2
@set VERSION 4.2
