@set UPDATED 19 June 2022
@set UPDATED-MONTH June 2022
@set EDITION 0.8.0-a.1
@set VERSION 0.8.0-a.1
