Open
Description
If I'm currently looking at https://www.raspberrypi.com/documentation/microcontrollers/c_sdk.html then the LHS menu displays correctly:
And if I'm looking at https://www.raspberrypi.com/documentation/microcontrollers/micropython.html then the menu also displays correctly:
...but if I then click on the "The C/C++ SDK" header to expand just that sub-section of the menu, then one of the sub-menu-items displays "Raspberry Pi Pico C/{cpp} SDK" instead of "Raspberry Pi Pico C/C++ SDK":