build(deps): bump @pybricks/ide-docs from 2.12.0 to 2.13.0 (#2154)

Bumps [@pybricks/ide-docs](https://github.com/pybricks/pybricks-api/tree/HEAD/npm/ide-docs) from 2.12.0 to 2.13.0.
- [Release notes](https://github.com/pybricks/pybricks-api/releases)
- [Changelog](https://github.com/pybricks/pybricks-api/blob/master/npm/ide-docs/CHANGELOG.md)
- [Commits](https://github.com/pybricks/pybricks-api/commits/@pybricks/ide-docs/v2.13.0/npm/ide-docs)

---
updated-dependencies:
- dependency-name: "@pybricks/ide-docs"
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

package.json

@@ -12,7 +12,7 @@
         "@blueprintjs/core": "^5.7.1",
         "@pmmmwh/react-refresh-webpack-plugin": "^0.5.11",
         "@pybricks/firmware": "7.10.0",
-        "@pybricks/ide-docs": "2.12.0",
+        "@pybricks/ide-docs": "2.13.0",
         "@pybricks/images": "^1.3.0",
         "@pybricks/jedi": "1.12.0",
         "@pybricks/mpy-cross-v5": "^2.0.0",

yarn.lock

@@ -2798,10 +2798,10 @@ __metadata:
   languageName: node
   linkType: hard
 
-"@pybricks/ide-docs@npm:2.12.0":
-  version: 2.12.0
-  resolution: "@pybricks/ide-docs@npm:2.12.0"
-  checksum: f38ee228d432d2749df19d7769139a6bfa48f1c7f00403e16d56e6d3b57453aff6a1d89c36f4588bea02fc3d067fbc44b6683c0ba4bf9c82dcf0c62e1e33828b
+"@pybricks/ide-docs@npm:2.13.0":
+  version: 2.13.0
+  resolution: "@pybricks/ide-docs@npm:2.13.0"
+  checksum: c7af1dfb36a2dd72706fbf784ce5d650e22c2ceb4b361512e9a5fe9c98db2a71273455d1ba271d5384b294586672a9c844cb471387b7a73ad8db072d00e87e08
   languageName: node
   linkType: hard
 
@@ -2841,7 +2841,7 @@ __metadata:
     "@blueprintjs/core": ^5.7.1
     "@pmmmwh/react-refresh-webpack-plugin": ^0.5.11
     "@pybricks/firmware": 7.10.0
-    "@pybricks/ide-docs": 2.12.0
+    "@pybricks/ide-docs": 2.13.0
     "@pybricks/images": ^1.3.0
     "@pybricks/jedi": 1.12.0
     "@pybricks/mpy-cross-v5": ^2.0.0