diff --git a/f3discovery/src/appendix/1-general-troubleshooting/README.md b/f3discovery/src/appendix/1-general-troubleshooting/README.md
index c73e09a95..79b1f1cd6 100644
--- a/f3discovery/src/appendix/1-general-troubleshooting/README.md
+++ b/f3discovery/src/appendix/1-general-troubleshooting/README.md
@@ -253,13 +253,3 @@ Linux:
 - go to `/sys/bus/pci/drivers/xhci_hcd/`
 - unbind it with ID, `echo -n "0000:06:00.4" > unbind`
 - rebind it, `echo -n "0000:06:00.4" > bind`
-
-
-[these instructions]: ../../03-setup/linux.md#udev-rules
-
-Windows:
-
-- You are probably missing the ST-LINK USB driver. Installation instructions
-  [here].
-
-[here]: ../../03-setup/windows.md#st-link-usb-driver