Hi Neil,
Thank you for sharing the video.
I’m afraid that it’s by design as the editor is a web-based implementation where it’s hard to handle very large text.
Editing 200-300 lines of notes works smoothly on my Android phone, and I guess it’s a sufficient performance for the most use-cases.
Since it’s hard to resolve the performance issue at the moment, I hope you split them into multiple notes.