Scrape the doc sites with httrack or something. Don't turn the internet on unless you actually hit that library problem, I think it's generally pretty clear wh

Scrape the doc sites with httrack or something. Don't turn the internet on unless you actually hit that library problem, I think it's generally pretty clear when a significant problem has already been solved. Or move on and solve that problem tomorrow, and go do deliberate research on it and download everything at night, and then work on it again offline the next day.