Describe the problem

When I start the IDE, and the board is already selected from the previous app session, the File > Examples > Examples for <board name> and Sketch > Include Library > Arduino libraries menu groups are missing.

To reproduce

1. Select File > New from the Arduino IDE menus.
2. Select File > Save As... from the Arduino IDE menus.
3. Save the sketch to any convenient name and location.
   ⓘ This step is performed in order to associate the board+network port selection with a sketch that can be restored on IDE startup.
4. Select any board from the Arduino IDE menus.
5. Select File > Quit from the Arduino IDE menus.
6. Start Arduino IDE.
   The saved sketches that were open during the previous session will be restored.
7. Select the window of the sketch that has the board pre-selected due to the association created in the previous steps.
8. Open the File > Examples menu.
   🐛 The "Examples for <board name>" section of the menu (including the examples that should be listed there) is absent.
9. Open the Sketch > Include Library menu.
   🐛 The "Arduino libraries" section of the menu (including the examples that should be listed there) is absent.

Expected behavior

Expected after IDE start:

Actual after IDE start:

Arduino IDE version

2.2.1

Operating system

• macOS
• Windows

Operating system version

• macOS 13.5.2
• Windows 11

Additional context

Breaking change: #2165

Workaround

1. Select any other board from the Tools > Board menu in Arduino IDE.
2. Select the target board in Arduino IDE once again.

After doing that, the menus will be populated as expected.

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