It's time to release a new version for Notation, since lots of bugs and features are merged in main branch. - [x] Merge remaining PR #294 - [x] Decide on main commit for a release - [x] Decide on the `release version` - [x] Cut branch named `release version` based on agreed upon main commit - [x] Cut a tag named `release version` @gokarnm @iamsamirzon @dtzar @SteveLasker @FeynmanZhou @shizhMSFT