diff --git a/procedure.txt b/procedure.txt
index 28e4bcb..0ba89a5 100644
--- a/procedure.txt
+++ b/procedure.txt
@@ -1,3 +1,4 @@
+make it bootable with UEFI and BIOS?
 compare sizes of glibc and musl installations
 try running multiple MC versions on musl
 need xdg menu maker?
@@ -13,6 +14,10 @@ swap on zram
 f2fs for home
 tmpfs for package cache, /tmp, logs?
 
+when backing up
+- do not cross file system boundaries
+- exclude /tmp, package cache, logs
+
 Steps to install:
   - (user does this:) boot Void installer
     -> log in as root
@@ -21,11 +26,12 @@ Steps to install:
   - preparations:
     -> update xbps
     -> install xmirror
-    -> make our own or extract kb selection, mirror selection, and time zone selection (if feasible) to hijack them for our purposes
-  - warn user about formatting and making the USB stick unusable with Windows
+    -> make our own or extract kb selection and time zone selection (if feasible) to hijack them for our purposes
   - select kb layout
+  - warn user about formatting and making the USB stick unusable with Windows
   - set up disks
     -> select disk from a list
+      -> allow user to double check that it’s the USB drive
     -> wipe disk (new gpt)
     -> partition disk
       -> 270M ESP (if needed) or 2M BIOS GRUB
@@ -36,10 +42,13 @@ Steps to install:
   - mount them things, set up tmpfs as / for now
   - install base system
     -> select mirror
+      -> just use xmirror and get the result from the file
+        -> if musl repo, remove that bit from repo url
     -> select installation type (x86_32/x86_64/aarch64, glibc/musl)
+      -> if musl, add that bit to repo url
     -> install packages
-      -> linux bash shadow f2fs-tools dosfstools dbus NetworkManager iana-etc iw wpa_supplicant util-linux which tar man-pages iproute2 iputils wifi-firmware traceroute grep gzip file sed gawk less coreutils findutils diffutils pciutils usbutils tzdata base-files ncurses mdocml procps-ng kbd xbps sudo ethtool kmod eudev runit-void removed-packages nano acpid
-    -> configure XBPS (set mirror, anything else?)
+      -> linux bash shadow f2fs-tools dosfstools dbus NetworkManager iana-etc iw wpa_supplicant util-linux which tar man-pages iproute2 iputils wifi-firmware traceroute grep gzip file sed gawk less coreutils findutils diffutils pciutils usbutils tzdata base-files ncurses mdocml procps-ng kbd xbps sudo ethtool kmod eudev runit-void removed-packages nano acpid squashfs-tools
+    -> configure XBPS (set mirror?, anything else?)
     -> configure sudo
       -> drop a file with "%wheel ALL=(ALL:ALL) ALL" in /etc/sudoers.d/sudo_group
     -> configure overlayfs setup
@@ -73,7 +82,11 @@ Steps to install:
       -> configure
     -> install packages
       -> setxkbmap xauth xorg-video-drivers mesa mesa-dri xorg-server elogind xorg-input-drivers xrandr acpilight xhost xinit xrdb xinput xgamma xset iceauth sessreg transset xcmsdb xkbutils xmodmap dejavu-fonts-ttf
-      -> ?? xorg-fonts pulsemixer PrismLauncher
+      -> terminal?
+      -> browser?
+      -> prism launcher
+      -> java
+      -> pipewire (pulsemixer?)
       -> ask about nvidia driver
         -> install if needed
       -> ask whether to use CTWM or IceWM