These files are generated but it's useful to provide them for people
to understand the circuit without having to install KiCad.