Updated docs

Author: cmaglie

Diff for: docs/UPGRADING.md

@@ -316,6 +316,19 @@ Old code must change the imports accordingly.
 
   If you're not interested in getting the task events you can pass an empty callback function.
 
+### Removed detection of Arduino IDE bundling
+
+Arduino CLI does not check anymore if it's bundled with the Arduino IDE. Previously this check allowed the Arduino CLI
+to automatically use the libraries and tools bundled in the Arduino IDE, now this is not supported anymore unless the
+configuration keys `directories.builtin.libraries` and `directories.builtin.tools` are set.
+
+### go-lang functions changes in `github.com/arduino/arduino-cli/configuration`
+
+- `github.com/arduino/arduino-cli/configuration.IsBundledInDesktopIDE` function has been removed.
+- `github.com/arduino/arduino-cli/configuration.BundleToolsDirectories` has been renamed to `BuiltinToolsDirectories`
+- `github.com/arduino/arduino-cli/configuration.IDEBundledLibrariesDir` now returns a `paths.PathList` instead of a
+  `*paths.Path`
+
 ## 0.25.0
 
 ### go-lang function `github.com/arduino/arduino-cli/arduino/utils.FeedStreamTo` has been changed

Diff for: docs/configuration.md

@@ -9,6 +9,11 @@
   - `downloads` - directory used to stage downloaded archives during Boards/Library Manager installations.
   - `user` - the equivalent of the Arduino IDE's ["sketchbook" directory][sketchbook directory]. Library Manager
     installations are made to the `libraries` subdirectory of the user directory.
+  - `builtin.libraries` - the libraries in this directory will be available to all platforms without the need for the
+    user to install them, but with the lowest priority over other installed libraries with the same name, it's the
+    equivalent of the Arduino IDE's bundled libraries directory.
+  - `builtin.tools` - it's a list of directories of tools that will be available to all platforms without the need for
+    the user to install them, it's the equivalent of the Arduino IDE's bundled tools directory.
 - `library` - configuration options relating to Arduino libraries.
   - `enable_unsafe_install` - set to `true` to enable the use of the `--git-url` and `--zip-file` flags with
     [`arduino-cli lib install`][arduino cli lib install]. These are considered "unsafe" installation methods because

Diff for: docs/sketch-build-process.md

@@ -130,9 +130,8 @@ The "location priority" is determined as follows (in order of highest to lowest
    ([`{runtime.platform.path}/libraries`](platform-specification.md#global-predefined-properties))
 1. The library is bundled with the [referenced](platform-specification.md#referencing-another-core-variant-or-tool)
    board platform/core
-1. The library is bundled with the Arduino IDE
-   ([`{runtime.ide.path}/libraries`](platform-specification.md#global-predefined-properties))
-   - This location is only used by Arduino CLI when it's located in the Arduino IDE installation folder
+1. The library is bundled with the Arduino IDE (this location is determined by the Arduino CLI configuration setting
+   `directories.builtin.libraries`)
 
 #### Location priorities in Arduino Web Editor