Frustratingly, they have obviously not open sourced all design files. The only similar file formats present in that repo are: PDF, DXF, and SVG. No source files!
P.S. I'm a Wiretrustee author
Thanks for the reply. Sorry about the supply chain problems, very frustrating.
I wish more designs would go open when they're no longer commercially viable. All it's going to do in the long term is breed better hardware designers, after all.