@set UPDATED 29 May 2020
@set UPDATED-MONTH May 2020
@set EDITION 0.8.1
@set VERSION 0.8.1
