@set UPDATED 20 October 2024
@set UPDATED-MONTH October 2024
@set EDITION 0.8.0-rc8
@set VERSION 0.8.0-rc8
