diff --git a/docs/_basic_troubleshooting.md b/docs/_basic_troubleshooting.md
index 8bfaa2f1..20076063 100644
--- a/docs/_basic_troubleshooting.md
+++ b/docs/_basic_troubleshooting.md
@@ -14,4 +14,4 @@ search:
 
     If you see a failed message on that output, be sure verify the orientation of the CSI cable or try reseating it.
 
-    Not that this is not a hotplug device and you must first turn off the power.
+    Note that this is not a hotplug device, and you must first turn off the power.
diff --git a/docs/v3.md b/docs/v3.md
index 34236d4d..9af24e12 100644
--- a/docs/v3.md
+++ b/docs/v3.md
@@ -321,7 +321,15 @@ The standard Raspberry Pi HDMI output (marked as `VIDEO OUT` on the PiKVM case)
 
 ## Basic troubleshooting
 
-{!_basic_troubleshooting.md!}
+* Ensure that you are using the right [OS image](flashing_os.md) for your platform
+    by running the following command: `pacman -Q | grep kvmd-platform`.
+
+* If you are not getting a display, run the two following commands:
+
+    * `dmesg | egrep 'tc35|1-1.4|uvc'`
+    * `systemctl status kvmd-tc358743`
+
+    Note that this is not a hotplug device, and you must first turn off the power.
 
 ## Getting user support
 
diff --git a/docs/v4.md b/docs/v4.md
index b1b1ea50..4ce49bb1 100644
--- a/docs/v4.md
+++ b/docs/v4.md
@@ -248,8 +248,15 @@ For security's sake, it's best to change the default passwords immediately after
 
 ## Basic troubleshooting
 
-{!_basic_troubleshooting.md!}
+* Ensure that you are using the right [OS image](flashing_os.md) for your platform
+    by running the following command: `pacman -Q | grep kvmd-platform`.
 
+* If you are not getting a display, run the two following commands:
+
+    * `dmesg | egrep 'tc35|1-1.4|uvc'`
+    * `systemctl status kvmd-tc358743`
+
+    Note that this is not a hotplug device, and you must first turn off the power.
 
 ## Getting user support