-your NM-process (available at <URL:http://www.debian.org/devel/dmup>).
-
-If you need additional software installed on one of the machines (either
-in the host system or a chroot environment) please contact
-debian-admin@lists.debian.org, but keep in mind that not all software is
-available on all architectures. The chroot environments can be
-entered with the 'dchroot' command, take a look at the list of machines
-to know which one has chroots available for you.
-
-You need to use ssh to log into the machines, telnet and rlogin are
-disabled for security reasons. The LDAP directory is able to share RSA
-ssh keys among machines, please see <URL:http://db.debian.org/doc-mail.html>
-Otherwise when you first login a ~/.ssh directory will be created with
-the appropriate permissions. Please be aware of the security
-implications of using RSA authentication and ssh agents.
+your NM process (available at <URL:https://www.debian.org/devel/dmup>).
+
+If you need additional software installed on one of the machines (in the
+host system) please contact debian-admin@lists.debian.org, but keep in
+mind that not all software is available on all architectures.
+
+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 fellow DDs if you need any help.
+
+You need to use ssh to log into the machines; telnet and rlogin are
+disabled for security reasons. On debian.org servers the only ssh
+authentication method available is publickey. The LDAP directory is
+able to share RSA ssh keys among machines, please see
+<URL:https://db.debian.org/doc-mail.html>. Please be aware of the
+security implications of using RSA authentication and ssh agents. The
+SSH fingerprints for all Debian machines can be looked up at
+<URL:https://db.debian.org/machines.cgi> or a known_hosts file can be
+downloaded from <URL:https://db.debian.org/debian_known_hosts>.
+
+Debian secures some of its websites using SSL. The SSL certificates
+used are signed by a current commercial certificate authority.