Shaunak Kishore

喂 should be 2nd tone; is 4th

1

Both appear in various references, but the 2nd tone is supposed to be more polite.

We should have notifications for people who want them, probably with a choice of frequency (daily, every two days, weekly). See https://www.npmjs.com/package/cordova-plugin-push-notification.

The Electron-based desktop binaries are quite slow and finicky to build. As a result, they're a few (currently, two) versions behind the Android app. This issue is a reminder to...

Clean up references to varray and darray

1

VarraySpec and DarraySpec are now nearly the same as VecSpec and DictSpec. There are some small differences in the traces that are generated on failure, and there's some redundant logic...