Do not mention how to ask for a shell account

We only provide them to people already having some involvment.

1 files changed, 4 insertions, 64 deletions

diff --git a/public_hurd_boxen.mdwn b/public_hurd_boxen.mdwn
index f904ae17..bbcf687e 100644
--- a/public_hurd_boxen.mdwn
+++ b/public_hurd_boxen.mdwn
@@ -10,8 +10,7 @@ License|/fdl]]."]]"""]]
 
 [[!tag stable_URL]]
 
-There are GNU/Hurd boxes that we're offering shell accounts on.  These are
-generally available for people interested in [[contributing]], and who have
+The GNU/Hurd boxes are only available for people who have
 already shown some level of involvement in the project. If you simply want to
 try the Hurd, the easiest way is running it in a virtual machine.
 
@@ -36,65 +35,6 @@ image|hurd/running/qemu]].
 "[libav](http://www.libav.org/)","[x86_32-hurd-gcc-4.7](http://fate.libav.org/x86_32-hurd-gcc-4.7)","Debian GNU/Hurd","","libav instance of the [FATE Automated Test Environment](http://www.libav.org/fate.html)"
 """]]
 
-If you are a Debian Developer, you can log into the exodar machines
-with your DD account, your public ssh keys are already there.  To request a
-non-DD account on them, please contact admin@exodar.debian.net, with
-your Alioth account name and a public ssh key.
-
-To request an account on the *[[bddebian]]* or *[[sceen]]* machines, please
-contact <hurd-shell-account@gnu.org> (don't forget to include your desired user
-name and public SSH key).  Also use that contact address for requesting
-support, such as get additional packages installed.
-
-For easy access, you should append your public SSH key(s)
-to `~/.ssh/authorized_keys` on the remote machine.
-
-Also, add the following stanza to the `~/.ssh/config` file of the machine
-you're connecting from.
-
-    # Stanza from <http://www.gnu.org/software/hurd/public_hurd_boxen.html>,
-    # 2016-06-13.
-
-[//]: # (    Host blubber.bddebian.com blubber)
-[//]: # (      HostName blubber.bddebian.com)
-[//]: # (   )
-[//]: # (    Host clubber.bddebian.com clubber)
-[//]: # (      HostName clubber.bddebian.com)
-[//]: # (      Port 2251)
-[//]: # (   )
-[//]: # (    Host flubber.bddebian.com flubber)
-[//]: # (      HostName flubber.bddebian.com)
-[//]: # (      Port 2250)
-[//]: # (   )
-[//]: # (    Host gnubber.bddebian.com gnubber)
-[//]: # (      HostName gnubber.bddebian.com)
-[//]: # (      Port 2254)
-[//]: # (   )
-[//]: # (    Host goober.bddebian.com goober)
-[//]: # (      HostName goober.bddebian.com)
-[//]: # (      Port 2255)
-[//]: # (   )
-[//]: # (    Host grubber.bddebian.com grubber)
-[//]: # (      HostName grubber.bddebian.com)
-[//]: # (   )
-[//]: # (    Host snubber.bddebian.com snubber)
-[//]: # (      HostName snubber.bddebian.com)
-[//]: # (   )
-[//]: # (    Host zenhost.bddebian.com zenhost)
-[//]: # (      HostName zenhost.bddebian.com)
-[//]: # (      Port 2260)
-[//]: # (   )
-[//]: # (    Host blubber.bddebian.com blubber grubber.bddebian.com grubber snubber.bddebian.com snubber)
-[//]: # (      # Tunnel through zenhost.)
-[//]: # (      ProxyCommand ssh zenhost exec socat - TCP4:%h:%p)
-[//]: # (   )
-[//]: # (    Host *.bddebian.com blubber clubber flubber gnubber goober grubber snubber zenhost)
-[//]: # (      # Don't worry about the IP address (dial-up connection).)
-[//]: # (      CheckHostIP no)
-[//]: # (      User [user name])
-    
-    Host darnassus.sceen.net darnassus
-      HostName darnassus.sceen.net
-    
-    Host *.sceen.net darnassus
-      User [user name]
+If you are a Debian Developer, you can log into the exodar.debian.net machine
+with your DD account, your public ssh keys are already there. Debian maintainers
+can also request an account.