William: "We could put 0 or more server definitions in a file (using the jsonlines format). One could check boxes next to a bunch of servers and export their config to a single file. Opening the file would show each machine, maybe some comment at the top optionally, etc., and an easy way to make a machine with that config."
Use cases:
distribute such a file as a handout to students, so that they start with the right configuration
publish it with notebooks that rely on GPUs/compute servers
clone servers in other projects
it can be a good idea to list potential applications in the docs
Use cases: