In the App Store now, release 2.13.7 includes bug fixes and improved diagnostics.

This release is recommended for all users.