diff --git a/pxtarget.json b/pxtarget.json
index 34d359c2..2ea52c61 100644
--- a/pxtarget.json
+++ b/pxtarget.json
@@ -269,6 +269,7 @@
         "productId": "0x0204",
         "rawHID": true
     },
+    "ignoreDocsErrors": true,
     "appTheme": {
         "accentColor": "#249899",
         "defaultLocale": "de",
@@ -298,7 +299,6 @@
         "extendEditor": true,
         "extendFieldEditors": true,
         "enableTrace": true,
-        "ignoreDocsErrors": true,
         "experiments": [
             "allowPackageExtensions",
             "instructions",