01/02: doc: Update infra-handbook.org.

[Maxim Cournoyer]

apteryx pushed a commit to branch master
in repository maintenance.

commit d7239816446ead108982584251b695780be7ba3f
Author: Maxim Cournoyer <maxim.cournoyer@gmail.com>
AuthorDate: Sun Mar 12 17:36:09 2023 -0400

    doc: Update infra-handbook.org.
    
    * doc/infra-handbook.org (Repairing a non-bootable Guix System via a
    PXE booted image): Update doc.
---
 doc/infra-handbook.org | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/doc/infra-handbook.org b/doc/infra-handbook.org
index fa005c3..f018ab6 100644
--- a/doc/infra-handbook.org
+++ b/doc/infra-handbook.org
@@ -1,4 +1,5 @@
 #:TITLE Guix Infrastructure Handbook
+#+STARTUP: content hidestars
 
 This handbook is intended for sysadmin volunteers taking care of the
 infrastructure powering the Guix website, substitutes and other
@@ -152,8 +153,10 @@ Boot Sequence Device" drop-down menu, press the "Apply" 
button, then
 The images are made available by the MDC infrastructure team via
 [[https://github.com/cobbler/cobbler][Cobbler]] , and only a few of the images 
available are bootable (sadly,
 Guix System is not one of them).  One image which works and has Btrfs
-support is "Ubuntu-22.04-server-amd64", but you need to adjust its
-'clinux' kernel arguments at the GRUB menu boot to add
+support is "Ubuntu-22.04-server-amd64".  Upon selecting that entry and
+pressing RET, a sub-menu should appear, containing
+"Ubuntu-22.04-server-amd64-GuixFarm".  Before booting it, you need to
+adjust its 'clinux' kernel arguments at the GRUB menu boot to add
 ~console=ttyS0,115200~ in order to see the serial output.  There is a
 convenient way to turn on SSH at the installer screen, which you can
 connect to from the ~hydra-guix-129~ or ~berlin~ machines.