Board manager - missing Pololu boards

pert:
Hi @cbalmforth. Did you add the Boards Manager URL for the Polulu boards to the Arduino IDE v2's File > Preferences > Additional Boards Manager URLs setting? If not, try adding it, restart the Arduino IDE v2, and then see if the boards show up.

Arduino IDE 2.x saves your preferences to a different location than the classic Arduino IDE, so your preferences aren't automatically transferred from the classic Arduino IDE. Boards installed via the classic Arduino IDE will only show up once their Boards Manager URL is in the preferences.

Thanks, I added the url and sure enough the board shows up in board manager now.