The .dev TLD is not reserved, and having coder config-ssh override coder.workspace-name.dev can conflict with real domains.
For example if my coder instance was hosted on coder.aaaa.dev, and I had a workspace called aaaa, I can no longer SSH to the server that hosts the Coder instance.
The frontend and coder ssh-config should therefore not use .dev after the workspace name.