@set UPDATED 28 June 2020
@set UPDATED-MONTH June 2020
@set EDITION 0.15.2
@set VERSION 0.15.2
