@set UPDATED 6 October 2023
@set UPDATED-MONTH October 2023
@set EDITION 0.8.0-rc-1
@set VERSION 0.8.0-rc-1
