Improve library manager option docs#13

per1234 merged 2 commits intoarduino:mainarduino/arduino-lint-action:mainfrom

peternewman:patch-1peternewman/arduino-lint-action:patch-1Copy head branch name to clipboard