@set UPDATED 17 October 2023
@set UPDATED-MONTH October 2023
@set EDITION 2.72d
@set VERSION 2.72d
