Since using Version 1.4.0 (74), the app freezes completely, is and has to be closed down and restarted. It’s happened repeatedly, e.g. text editing, searching. In safe mode. Never happened before in previous versions of app.
Thank you, WhiteNoise…
Before I could get to that, there was an update to 1.4.0 (76), and the problem hasn’t recurred on either device. Let’s count this as resolved, and me as a happy bunny again.