@set UPDATED 18 October 2023
@set UPDATED-MONTH October 2023
@set EDITION 7.1
@set VERSION 7.1