XIAO vanished from Arduino IDE Boards Manager

[Adrian]

Solved! It must have vanished when “updated”
File > Preferences then paste: https://files.seeedstudio.com/arduino/package_seeeduino_boards_index.json into “Additional Board Manager URLs”