@set UPDATED 18 September 2024
@set UPDATED-MONTH September 2024
@set EDITION 0.8.0-rc7
@set VERSION 0.8.0-rc7
