Updated docs

Author: cmaglie

Diff for: docs/UPGRADING.md

@@ -266,6 +266,34 @@ must be changed to:
 	eventsChan, closeWatcher, err := board.Watch(req)
 ```
 
+### 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.
+
+### gRPC enumeration renamed enum value in `cc.arduino.cli.commands.v1.LibraryLocation`
+
+`LIBRARY_LOCATION_IDE_BUILTIN` has been renamed to `LIBRARY_LOCATION_BUILTIN`
+
+### go-lang API change in `LibraryManager`
+
+```go
+func (lm *LibrariesManager) InstallPrerequisiteCheck(indexLibrary *librariesindex.Release) (*paths.Path, *libraries.Library, error) { ... }
+func (lm *LibrariesManager) Install(indexLibrary *librariesindex.Release, libPath *paths.Path) error { ... ]
+```
+
+```go
+func (lm *LibrariesManager) InstallPrerequisiteCheck(indexLibrary *librariesindex.Release, installLocation libraries.LibraryLocation) (*paths.Path, *libraries.Library, error) { ... }
+func (lm *LibrariesManager) Install(indexLibrary *librariesindex.Release, libPath *paths.Path, installLocation libraries.LibraryLocation) error { ... ]
+```
+
+### 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` has been renamed to `IDEBuiltinLibrariesDir`
+
 ## 0.26.0
 
 ### `github.com/arduino/arduino-cli/commands.DownloadToolRelease`, and `InstallToolRelease` functions have been removed

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