https://gerardosaezjsu.blogspot.com/2024/08/how-to-download-arduino-library.html