[CaptainFlint]

Does not EE store workspace in compatible way? I saved the workspace (via menu command Save Workspace), then updated from RC 12 to RC 13, and now Restore Workspace tells me that “No workspace or an older version of workspace was saved”. Quite a nasty thing, there were many documents opened… :(