-use this account to help make software run properly on the Debian GNU/Linux
-distribution. The username for this account is '__LOGIN__'. The password can
-be found encrypted with your PGP key and appended to this message.
-
-See <URL:http://db.debian.org/machines.cgi> for a list of machines that are
-available. The ones marked 'public' are available to non-developers.
-
-Requests for Debian software to be installed on the machines (either
-in the host system or a chroot environment) should be directed at
-debian-admin@lists.debian.org. Please note that not all software is
-available on all architectures. The chroot environments can be
-entered with the 'dchroot' command.
+use this account to help make software run properly on the Debian
+distribution. The username for this account is '__LOGIN__'.
+
+See <URL:https://db.debian.org/machines.cgi> for a list of machines that are
+available. The list of which machines you can access is user-dependent.
+To find out which machines you have access to try running
+ ldapsearch -LLL -b dc=debian,dc=org -x -h db.debian.org \
+ uid=__LOGIN__ allowedHost
+
+On porter machines, the chroot environments can be entered with the
+'schroot' command, depending on setup; take a look at the list of
+machines to know which are our porterboxes. You can install build
+dependencies yourself once you instantiated a session. Please
+consult <URL:https://dsa.debian.org/doc/schroot/> for more information
+and ask your mentors if you need any help.