diff --git a/doc/infra-handbook.org b/doc/infra-handbook.org
index a5e0a8f..b76275d 100644
--- a/doc/infra-handbook.org
+++ b/doc/infra-handbook.org
@@ -135,6 +135,14 @@ After having connected to the iDRAC interface, the serial console can
 be entered by typing the ~console com2~ command at the ~racadm>> ~
 prompt.  To exit, press ~C-\~.
 
+** Last resort: performing a hard reset of Berlin
+
+If not even the serial console responds, it's time to use the same
+~racadm>> ~ prompt to summon an invisible hand to press the reset
+button for you, by typing ~serveraction hardreset~.
+
+Do this only if there is no other way to gracefully reboot the system.
+
 ** Repairing a non-bootable Guix System via a PXE booted image
 
 One way to fix a non-bootable Guix System is to boot a different