Kicad library and footprint?

Hi
I would like to design a pcb with XIAO RP2040
is there a kicad library available?

I can see there is library for regular XIAO:
https://files.seeedstudio.com/wiki/Seeeduino-XIAO/res/Seeeduino%20XIAO%20KICAD.zip

but is it identical footprint/design?
thanks

Something like this (KiCad 6)?
XIAO RP2040 HAT.zip
Tip: use the free download button, it’s only 27kB.

I imported the Eagle file, aligned it to a 0.1" grid, deleted everything except header thru-holes and the Edge-Cuts layer - HTH