Ray and Victor
I must be a glutton for punishment, as I've finally managed to reconfigure the better ESP8266 repo to work without needing to download the whole IDE
But like the otherone, the toolchain is quite large (400mb uncompressed)
I've just been having a discussion with someone on GitHub, and hopefully I may be able to presuade them to re-configure the main repo to do it properly
Edit
OK. I'm pushing my new version now. But like yesterday its going to take a while
But it should be there by the time you guys in the east coast get up tomorrow
PS. I'm not sure where Victor_PV is located.
Victor, I suspect you are West coast or central, or you are a night owl