I tried to add a server to the one in the User/profiles path but server or tool showed up. But it worked fine for the other one. jupyter-keymap ms-1.1.2 remote-containers ms-0.427.0 remote-ssh ...
Let's say I have an "entry" realm with an organization created in it. That org is associated with the email domain "foo.com". The org is also configured to redirect all users in that "foo.com" email ...