Package_seeeduino_boards_index.json not returning the whole file :-(

Does anyone have a temporary solution to propose? I am thinking of feeding a working file to the Arduino IDE to make the Xiao board re-appear (like @Stefan suggested) or something along that line.
I am sorry if I am talking non sense, I am a newbie. Thank you all.