@set UPDATED 27 September 2023
@set UPDATED-MONTH September 2023
@set EDITION 1.8.25
@set VERSION 1.8.25
