25 May 2019
Here come some bugfixes for the problems you reported. No new features, just housekeeping stuff. We also believe the nasty crash has been fixed in this update, so please let us know if it happens again.
Here is the brief list of fixed problems in this update:
As you may see, these are mostly minor issues, which means this could be easily the last beta version before the public release of version 5. Give it a try and let us know if something still doesn’t work as expected.