Nao consegui a biblioteca ESP8266WiFi.h. Alguem ajuda?

Uso o IDE do Arduino, nas sem essa biblioteca a maioria dos codigos fica pendente. Rodei tudo, mas os links do GitHub estao quebrados.
Como consigo essa biblioteca, por favor?

O modulo ESP8266 o esta instalado na IDE do Arduino???

Reinstalei do zero e a library entrou. Agora gerou uma pendência dentro dela: “user_config.h”.
E comum essas library’s se instalarem incompletas?

Você precisa instalar a placa ESP8266 e similares no seu Arduino IDE, vá em: Ferramentas >> Placa >> Gerenciador de Placas

Pesquise por ESP8266 e instale.

Só baixar >>>>> http://www.martyncurrey.com/download/esp8266wifi-library/