@set UPDATED 10 May 2024
@set UPDATED-MONTH May 2024
@set EDITION 0.8.0-rc-4
@set VERSION 0.8.0-rc-4
