Update 0.8.1

Update 0.8.1 was on the App Store and Google Play by late-December. It adds no new features, but many bug fixes.