diff --git a/.github/workflows/check-protobuf-task.yml b/.github/workflows/check-protobuf-task.yml
index c0ecd1cda3d..449c78e0e18 100644
--- a/.github/workflows/check-protobuf-task.yml
+++ b/.github/workflows/check-protobuf-task.yml
@@ -86,6 +86,7 @@ jobs:
 
       - uses: bufbuild/buf-action@v1
         with:
+          token: ${{ secrets.BUF_TOKEN }}
           pr_comment: ${{ github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name == github.repository }}
           lint: ${{ github.event_name == 'pull_request' }}
           format: ${{ github.event_name == 'pull_request' }}
diff --git a/docs/platform-specification.md b/docs/platform-specification.md
index 652b7348878..43d7bac827a 100644
--- a/docs/platform-specification.md
+++ b/docs/platform-specification.md
@@ -522,9 +522,17 @@ commands to run to compile the sketch), but the `post*` hooks and all compile co
 
 ## Global platform.txt
 
-Properties defined in a platform.txt created in the **hardware** subfolder of the Arduino IDE installation folder will
-be used for all platforms and will override local properties. This feature is currently only available when using the
-Arduino IDE.
+Properties defined in a platform.txt file located in the root of any of the packages folders will be used for all
+platforms and will override local properties.
+
+The packages folder locations are:
+
+- `{directories.data}/packages`<br />(where `{directories.data}` is the path from the `directories.data`
+  [configuration key](configuration.md))
+- `{directories.user}/hardware`<br />(where `{directories.user}` is the path from the `directories.user`
+  [configuration key](configuration.md), or Arduino IDE "Sketchbook location" preference)
+- `{Arduino IDE installation}/hardware` (Arduino IDE 1.x only)<br />(where `{Arduino IDE installation}` is the path of
+  the Arduino IDE installation folder)
 
 ## platform.local.txt