// this is an auto-generated file. see js/scripts/version-update.js
export const VERSION = "0.2.20";