gabriel Update: After running the changed editor for multiple days in various instances, we have not had any more issues. The fix is now part of r3.10.7, which was released today.
mobrien I've also been running for 3-4 weeks with v3.11 and have not seen the issue once. Thanks for addressing this!
