Has anyone experienced text changes not being saved? While using the 13.1 XML editor for simple edits on a large file, I am occasionally finding that changes are not being saved. Sometimes I use Ctrl-S, sometimes, 'Save' under the file menu. I am on a networked system but am the only one working on my files. Thank you.