"Do I need a server?" - I initially thought that maybe the provisioning of workspaces would all happen on my machine with a CLI, until I found out about coderd