First off thanks for the great repo!
I am currently using the Arduino IDE and was trying to select the Seeed Studio XIAO nRF52840 but I could not find it in the list of "Select your board from the Tools -> Board menu". I am not really sure what to do since I can see all other boards except the only one I need :(
Thanks for your help!