[skip changelog] Make library location priority documentation more relevant to Arduino CLI

[per1234]

Please check if the PR fulfills these requirements

• The PR has no duplicates (please search among the Pull Requests before creating one)
• The PR follows our contributing guidelines
• Tests for the changes have been added (for bug fixes / features)
• Docs have been added / updated (for bug fixes / features)

• What kind of change does this PR introduce?

Make the library dependency resolution location priority section of the sketch build process documentation more relevant to Arduino CLI.

• What is the current behavior?

This section of the documentation was written with a focus on the Arduino IDE, and thus was not very friendly to Arduino CLI users.

• What is the new behavior?

The documentation is more relevant to the Arduino CLI.

• Does this PR introduce a breaking change?

No.

• Other information:
  Fixes (partially) Document library search paths #713

@itsayellow I welcome your feedback on this change.

[itsayellow]

Thank you for this PR!

I'm wondering if you could document also how to find Arduino CLI's user directory. It wasn't obvious to me that you find that by executing arduino-cli config dump and then looking at directories:, user. (And I really tried to figure out where arduino-cli thought of as home base.)

[per1234]

I'm wondering if you could document also how to find Arduino CLI's user directory.

I do have this on my "to do" list, but it's not yet clear in my mind what is the best way to do it.

Since that work is only very loosely related to the change made in this PR, it's more appropriate for it to be done in a separate PR.

[itsayellow]

Ok, then I like this PR, it helps clarify very well!

[rsora]

🔎 📖