@set UPDATED 13 November 2024
@set UPDATED-MONTH November 2024
@set EDITION 0.8.0-rc9
@set VERSION 0.8.0-rc9
