In the 1.4 version of the editor, the Open Recent list under the File menu is still not being maintained properly. Just now it listed as most recent the fourth-last file saved with the editor. I manually opened the most recent file, saved it, exited and restarted the app, and the most recent...