Go to File > Preferences . In "Additional Board Manager URLs," paste: https://githubusercontent.com
For a PDF download specifically focused on "Hands-on ESP32 with Arduino IDE," you can try searching on platforms like: hands-on esp32 with arduino ide pdf download