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