Finally found some time (and money) to order the DAP boards from JLCPCB.

here they are in their purple glory (each part of the CPU will have a different color)

I started to assemble them but I messed up the reference of 2 resistor values in my digikey order, so I'll have to do another order for those...