So I got a pair of the "slim XLR" cables (in a custom length, which was no problem). They are pretty cool; when plugged in they only add about 1 mm to the length of the microphone. A Neutrik on the other end. The cable is about the same diameter as a typical Church mic cable.
I would say, though, that they might have machined them a bit too precisely! They are quite difficult to unplug, since they are exactly the same diameter as the mics and the gap between cable and mic body is very thin. You can squeeze a nail in there, but it's not easy...Basically, nothing to grab (except for the cable)...I guess they really have these in mind for (semi-)permanent installations.