I spent the summer playing with the incredible ESP8266 and its great Arduino package, and I was happy to find that some shortcomings (e.g. limited serial buffer and slow HTTP server performance) were being worked on or already fixed in Github.
However, these were marked for the 2.4.0 Milestone, but that release seems to be stalled.
The 2.4.0 Milestone progress is stuck at 6% for weeks and the last commit was more than one month ago (Sep, 2nd).
So I wonder: has development stopped on the Arduino ESP8266 package and all focus moved to ESP32, or can we expect more ESP8266 package releases in the future ?