library_index.json is over 35Mb

[ednieuw]

Describe the problem

The library index file in the folder ..\AppData\Local\Arduino15\ is enormous and over 35 Mb large.

I was looking why at a start up of the IDE downloading index: package_esp32_dev_index.json took such a long time (over 30 seconds)
This issue is closed but is still occurring at startup after ta cold start of the PC

To reproduce

NA

Expected behavior

An index file this large is hardly an index file anymore

Arduino IDE version

2.3.2

Operating system

Windows

Operating system version

W11

Additional context

No response

Issue checklist

• I searched for previous reports in the issue tracker
• I verified the problem still occurs when using the latest nightly build
• My report contains all necessary details