When we create a workspace say

pytorch

and do

coder config-ssh

why we have two entries in our

.ssh/config

file. I see 1)

coder.pytorch

2)

coder.pytorch.dev

What is the difference between them?