Restore saving (#3351)

and a bunch of random workspace stuff!

Release Notes:

-
41ac8ef909Mikayla Maki committed on 11/17/2023, 7:22:01 AM· committed by GitHubparents2fb13cf1693718
11 files changedLine totals unavailable