Since IDX is using nix files to configure an environment, it would probably be best for us to create and save these files and be able to import it into another/future project.

Specifically "imported from repos" and blank workspaces. That way we wouldn't have to recreate the file or save it in another place when you can just access it from IDX itself.