Trying to download ESP8266HTTPClient.h library from GitHub
Having invested over an hour now and still not finding a download button or link, I've concluded it must require CIA clearance or something extra Secret Squirrely to download this library.
I've been up and down the directories so many times I've worn out the buttons.
Could someone be so kind as to let me borrow their CIA / Secret Squirrel credentials long enough to download this library?
Be sure not to confuse a library for using the esp8266 (with the at firmware) to get wifi connectivity on another board with the board package for programming the esp8266 itself. This library is part of the latter (that is, it wont help you if youre using some other arduino board with an esp8266 as wifi adapter).
It's been well explained why there is no point in downloading this particular library but it might still be useful to understand how you could have done so in another circumstance where doing so did make sense.
On GitHub, you're probably used to seeing a "Clone or download" button you can use to easily download things. So why is that button missing for the ESP8266WiFi library? The reason is that is a subfolder of the esp8266/Arduino repository and that button is only shown when you're at the root of the repository. So you would only need to navigate to the repository home page. Note that when a library is in a subfolder of a repository, you can't use the Arduino IDE's Sketch > Include library > Add .ZIP library on the downloaded file to install the library. That only works when the library is in the root of the .zip file. You would need to unzip the downloaded .zip file, then you can point Sketch > Include library > Add .ZIP library at the subfolder of the unzipped file that contains the library. It's not obvious from the menu item name, but "Add .ZIP library" works with folders as well as .zip files.