@set UPDATED 11 July 2024
@set UPDATED-MONTH July 2024
@set EDITION 0.8.0-rc.5
@set VERSION 0.8.0-rc.5
