…er tool (#1692)" (#2900)

This reverts commit f470f40.

This configuration entry was previously required in order to work around a bug in the "markdown-link-check" tool that
resulted in false positives for links to anchors created by HTML anchor tags.

The bug in the "markdown-link-check" tool has since been fixed, and this project updated to use the version of the tool
with that fix. So this configuration entry is no longer required.

The now superfluous configuration entry is hereby removed in order to ensure more comprehensive link check coverage.

Previously, this reference to Arduino CLI's `directories.downloads` configuration key misspelled the name as
"directories.download".

The project includes a documentation website which is generated by the MkDocs static site generator. The site contains a
navigation panel which lists the available documentation pages.

Rather than being automatically generated from the contents of the `docs` folder, the contents of the navigation panel
have been explicitly defined via the MkDocs configuration file. This means that the project contributors must remember
to update the configuration file when development work results in the addition or removal of web pages.

This was not done when the `config get` and `debug check` commands were added. The web pages are generated as expected,
but the missing configuration file entries means that a visitor to the website would never know of their existence, and
could only access them by hacking the URL.

The missing entries are hereby added to the MkDocs configuration file.

…cations (#2902)

Arduino CLI restricts which characters can be used by platform developers in their vendor, architecture, board, custom
board menu, and custom board option identifiers.

Previously, the information was only documented(?) in the "FAQ". This type of requirement must be present in the formal
specifications. A platform developer is unlikely to ever think to look for such information in the FAQ.

In addition, the inclusion of such information in the FAQ is not appropriate as this is intended for end users of the
Arduino CLI application and end users have no control over which characters were used by the platform developers in
their identifiers. So the presence of the information in the FAQ only harms readability by introducing unnecessary
complexity into a subject that users often struggle to understand.

…to 1.13.1 (#2905)

* [skip changelog] Bump github.com/arduino/go-paths-helper

Bumps [github.com/arduino/go-paths-helper](https://github.com/arduino/go-paths-helper) from 1.13.0 to 1.13.1.
- [Release notes](https://github.com/arduino/go-paths-helper/releases)
- [Commits](arduino/go-paths-helper@v1.13.0...v1.13.1)

---
updated-dependencies:
- dependency-name: github.com/arduino/go-paths-helper
  dependency-version: 1.13.1
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>

* Updated license cache

---------

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

* [skip changelog] Bump golangci/golangci-lint-action from 7 to 8

Bumps [golangci/golangci-lint-action](https://github.com/golangci/golangci-lint-action) from 7 to 8.
- [Release notes](https://github.com/golangci/golangci-lint-action/releases)
- [Commits](golangci/golangci-lint-action@v7...v8)

---
updated-dependencies:
- dependency-name: golangci/golangci-lint-action
  dependency-version: '8'
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <[email protected]>

* Update golangci-lint version to 2.1.0

---------

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

* [skip changelog] Bump golang.org/x/sys from 0.32.0 to 0.33.0

Bumps [golang.org/x/sys](https://github.com/golang/sys) from 0.32.0 to 0.33.0.
- [Commits](golang/sys@v0.32.0...v0.33.0)

---
updated-dependencies:
- dependency-name: golang.org/x/sys
  dependency-version: 0.33.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>

* Update license cache

---------

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

* Added integration test

* Fixed linter warning

* bugfix: Kill compile processes that generates too much output

* Apply suggestion from code review

* [skip changelog] Bump golang.org/x/term from 0.31.0 to 0.32.0

Bumps [golang.org/x/term](https://github.com/golang/term) from 0.31.0 to 0.32.0.
- [Commits](golang/term@v0.31.0...v0.32.0)

---
updated-dependencies:
- dependency-name: golang.org/x/term
  dependency-version: 0.32.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>

* Updated license cache

---------

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

* [skip changelog] Bump golang.org/x/text from 0.24.0 to 0.25.0

Bumps [golang.org/x/text](https://github.com/golang/text) from 0.24.0 to 0.25.0.
- [Release notes](https://github.com/golang/text/releases)
- [Commits](golang/text@v0.24.0...v0.25.0)

---
updated-dependencies:
- dependency-name: golang.org/x/text
  dependency-version: 0.25.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>

* Update license cache

---------

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