diff --git a/docs b/docs
index 2d428c47..9c6fe4f1 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 2d428c472c75c73ca8584560590dca48cefb40f5
+Subproject commit 9c6fe4f18fe7f5d3c4fbff594aa98b8a7dc7bfe7
diff --git a/scripts/docspregen.py b/scripts/docspregen.py
index 5cadbea5..866a13b3 100644
--- a/scripts/docspregen.py
+++ b/scripts/docspregen.py
@@ -86,9 +86,9 @@ def generate_boards_table(boards, skip_columns=None):
             t.get("onboard") for (_, t) in data['debug']['tools'].items()))
         debug = "No"
         if has_onboard_debug:
-            debug = "Yes"
+            debug = "On-board"
         elif data['debug']:
-            debug = "Yes :sup:`?`"
+            debug = "External"
 
         variables = dict(
             id=data['id'],