I'm using Arduino IDE V1.8.9
I recently started using other boards (STM32F1 and Wemos D1 Mini)
For each board I use a JSON file in File / Preferences. Specifically
NodeMCU:
http://arduino.esp8266.com/stable/package_esp8266com_index.json
STM32
https://github.com/stm32duino/BoardManagerFiles/raw/master/STM32/package_stm_index.json
Now my Question; When I copy the NodeMCU json into preference I can select the NodeMCU boards. (I know, obvious)
However when I copy the STM32 JSON to preferences, I can select the STM32 boards but the NodeMCU boards disappear from the board list.
Is this "normal"? For some reason I thought the boards would accumulate, even after the JSON's were removed from preferences.