Personal libraries with Arduino IDE 2

I have downloaded one of my own libraries in ZIP format from my GitHub page, and used "Install ZIP library" from within the Arduino 2 IDE. Why do I then have to shut down and restart the IDE so that the library can be seen? The IDE 1.8+ doesn't require that.

Hi @TWRackers. Thanks for taking the time to give the Arduino IDE 2.0.0 release candidate a try!

This bug is tracked by the Arduino IDE developers here:

If you have a GitHub account, you can subscribe to that issue to get notifications of any new developments related to this subject.