Might it be worth pulling the 5.13 release for the downloads page and replacing it with either a recent nightly build version, a 5.13+ version, or failing that going back to 5.12? Given the number of cases of crashes caused the release is not stable enough? Just a suggestion.