Arduino boards in kicad format

Hi all,
I find it very surprising that I am not able to find an answer to my simple question.
Are the arduino boards available in kicad format? I can only find eagle files.
Kicad is a very popular and is open source software, and this is probably more aligned with arduino philosophy.

Personally I use kicad to create simple PCB boards from scratch but I am now interested in modifying an arduino pro mini.

Of course I am speaking about the board design including all components and pcb design, and not only global single libray and footprint.

I've found this thread KiCad files for Arduino boards - Suggestions for the Arduino Project - Arduino Forum. It refers to GitHub - bobc/Arduino_KiCad: KiCad versions of Arduino projects that seems to fulfill the requirement but that is obviously not exhaustive.

Thanks in advance!

(deleted)

All right! I take the challenge!
I've just made a first version of a pro-mini like.
It's available there: GitHub - etimou/arduino-pro-mini-kicad: This is a clone of the well known arduino board "pro-mini" designed in kicad while the original was designed in eagle. Ref https://store.arduino.cc/arduino-pro-mini

I'd be very glad to receive feedbacks from people more experienced than me!

So, feel free to make comments to help improving this design.

Needs some pin labels.
These won't be viewable once the board is made:

Thanks for the comment,
I've added pin labels and cleaned up the silkscreen.
I think it looks pretty good now!

How much would it cost to have it manufactured by a pcb maker company?
The original can be found at less than 2$ on the internet...

(deleted)

What size board?
Can get 10 up to 5cm x 5cm boards for $9.90 from iteadstudio.com
https://www.itead.cc/open-pcb/pcb-prototyping/2layer-green-pcb-5cm-x-5cm-max.html

Can be had for less in larger quantities.
Enter the board size and try different quantities

it's incompatible with the latest version of KiCad ... :confused: