This may turn out to be limited to Windows 7 Arduino 1.x users, and there probably aren't many of them, but I'm so far not able to use 4.0.0 after updating via the Boards manager, in Arduino 1.8.19, ...
Arduino IDE version: 1.8.19 (latest). ESP Boards version: 3.0.5 (latest). Board selection: ESP32S3_Dev_Module. Board Partition Scheme: Default 4MB with spiffs (1.2MB APP / 1.5MB SPIFFS). Example ino ...