0.72.16

Bug fixes and stability improvements.

• Improved automated error reporting.
• Fixed some minor bugs for users with older mobile browsers.