diff --git a/nixos/doc/manual/from_md/installation/installing-usb.section.xml b/nixos/doc/manual/from_md/installation/installing-usb.section.xml
new file mode 100644
index 000000000000..b46a1d565557
--- /dev/null
+++ b/nixos/doc/manual/from_md/installation/installing-usb.section.xml
@@ -0,0 +1,35 @@
+
+ Booting from a USB Drive
+
+ For systems without CD drive, the NixOS live CD can be booted from a
+ USB stick. You can use the dd utility to write
+ the image: dd if=path-to-image of=/dev/sdX. Be
+ careful about specifying the correct drive; you can use the
+ lsblk command to get a list of block devices.
+
+
+ On macOS
+
+$ diskutil list
+[..]
+/dev/diskN (external, physical):
+ #: TYPE NAME SIZE IDENTIFIER
+[..]
+$ diskutil unmountDisk diskN
+Unmount of all volumes on diskN was successful
+$ sudo dd if=nix.iso of=/dev/rdiskN
+
+
+ Using the 'raw' rdiskN device instead of
+ diskN completes in minutes instead of hours.
+ After dd completes, a GUI dialog "The disk
+ you inserted was not readable by this computer" will pop up,
+ which can be ignored.
+
+
+
+ The dd utility will write the image verbatim to
+ the drive, making it the recommended option for both UEFI and
+ non-UEFI installations.
+
+
diff --git a/nixos/doc/manual/installation/installing-usb.section.md b/nixos/doc/manual/installation/installing-usb.section.md
new file mode 100644
index 000000000000..ae58c08e5237
--- /dev/null
+++ b/nixos/doc/manual/installation/installing-usb.section.md
@@ -0,0 +1,31 @@
+# Booting from a USB Drive {#sec-booting-from-usb}
+
+For systems without CD drive, the NixOS live CD can be booted from a USB
+stick. You can use the `dd` utility to write the image:
+`dd if=path-to-image of=/dev/sdX`. Be careful about specifying the correct
+drive; you can use the `lsblk` command to get a list of block devices.
+
+::: {.note}
+::: {.title}
+On macOS
+:::
+
+```ShellSession
+$ diskutil list
+[..]
+/dev/diskN (external, physical):
+ #: TYPE NAME SIZE IDENTIFIER
+[..]
+$ diskutil unmountDisk diskN
+Unmount of all volumes on diskN was successful
+$ sudo dd if=nix.iso of=/dev/rdiskN
+```
+
+Using the \'raw\' `rdiskN` device instead of `diskN` completes in
+minutes instead of hours. After `dd` completes, a GUI dialog \"The disk
+you inserted was not readable by this computer\" will pop up, which can
+be ignored.
+:::
+
+The `dd` utility will write the image verbatim to the drive, making it
+the recommended option for both UEFI and non-UEFI installations.
diff --git a/nixos/doc/manual/installation/installing-usb.xml b/nixos/doc/manual/installation/installing-usb.xml
deleted file mode 100644
index 83598635acca..000000000000
--- a/nixos/doc/manual/installation/installing-usb.xml
+++ /dev/null
@@ -1,40 +0,0 @@
-
- Booting from a USB Drive
-
-
- For systems without CD drive, the NixOS live CD can be booted from a USB
- stick. You can use the dd utility to write the image:
- dd if=path-to-image
- of=/dev/sdX. Be careful about specifying
- the correct drive; you can use the lsblk command to get a
- list of block devices.
-
- On macOS
-
-
-$ diskutil list
-[..]
-/dev/diskN (external, physical):
- #: TYPE NAME SIZE IDENTIFIER
-[..]
-$ diskutil unmountDisk diskN
-Unmount of all volumes on diskN was successful
-$ sudo dd if=nix.iso of=/dev/rdiskN
-
- Using the 'raw' rdiskN device instead of
- diskN completes in minutes instead of hours. After
- dd completes, a GUI dialog "The disk you inserted was
- not readable by this computer" will pop up, which can be ignored.
-
-
-
-
-
- The dd utility will write the image verbatim to the drive,
- making it the recommended option for both UEFI and non-UEFI installations.
-
-
diff --git a/nixos/doc/manual/installation/installing.xml b/nixos/doc/manual/installation/installing.xml
index f03b9443d23b..f7b527b9cf55 100644
--- a/nixos/doc/manual/installation/installing.xml
+++ b/nixos/doc/manual/installation/installing.xml
@@ -566,7 +566,7 @@ Retype new UNIX password: ***
Additional installation notes
-
+