diff --git a/content/services/shell.md b/content/services/shell.md
index 863660a..5e3048b 100644
--- a/content/services/shell.md
+++ b/content/services/shell.md
@@ -5,11 +5,11 @@ weight: 60
 ---
 burble.dn42 provides shell accounts on the following servers:
 
-- shell.fr-par1.burble.dn42
-- shell.us-lax1.burble.dn42
-- shell.us-nyc2.burble.dn42
-- shell.uk-lon5.burble.dn42
-- shell.de-fra2.burble.dn42
+- shell.fr.burble.dn42
+- shell.uk.burble.dn42
+- shell.de.burble.dn42
+- shell.lax.burble.dn42
+- shell.nyc.burble.dn42
 
 There is also an anycast address [shell.burble.dn42](https://shell.burble.dn42)
 that will route to the closest server.
@@ -43,7 +43,7 @@ ssh foo@shell.burble.dn42
 
 or log in to a specific server:
 ```shell
-ssh foo@shell.fr-par1.burble.dn42
+ssh foo@shell.fr.burble.dn42
 ```
 
 Your home directory is created automatically on first access and will then
@@ -71,11 +71,11 @@ The shell servers include a webserver with user directories (`~/public_html/`)
 and CGI (`~/public_html/cgi-bin/`) enabled. The webserver is accessed over https
 and has a dn42 certificate.
 
-- `https://shell.fr-par1.burble.dn42/~<username>/`
-- `https://shell.us-lax1.burble.dn42/~<username>/`
-- `https://shell.us-nyc2.burble.dn42/~<username>/`
-- `https://shell.uk-lon5.burble.dn42/~<username>/`
-- `https://shell.de-fra2.burble.dn42/~<username>/`
+- `https://shell.fr.burble.dn42/~<username>/`
+- `https://shell.uk.burble.dn42/~<username>/`
+- `https://shell.de.burble.dn42/~<username>/`
+- `https://shell.lax.burble.dn42/~<username>/`
+- `https://shell.nyc.burble.dn42/~<username>/`
 - `https://shell.burble.dn42/~<username>/`
 
 {{<hint info>}}