@set UPDATED 17 April 2024
@set UPDATED-MONTH April 2024
@set EDITION 0.8.0-rc-3
@set VERSION 0.8.0-rc-3
