Thus had occasion to use the new Restore Workspace feature. Worked like a charm - being able to cherry pick from multiple historic saves was really useful, as I have several Workspaces open at a time and with numerous crashes had to go back a few saves to retrieve a good copy on some.
Not a fun situation to be in, but in this particular case preferable to a full-fat Backup Restore.
Splendid.