Thanks. I stacked my two BKM-129X clones together by the brackets and measured roughly 24mm between them but the boards wouldn't stay parallel. For the sake of 4 standoffs I'll try and get both 23 and 24mm and see which fits better. It might be that one size isn't available anyway...
I think I've tweaked them enough, I just wanted to make sure I credited Martin somewhere on the PCB for the original design(s). I've set up a CI/CD workflow on Github so the Gerbers and BoM are built automatically. If you use a fab other than JLCPCB then let me know, I can possibly build an additional set of Gerbers tweaked for whoever.
The project is at
https://github.com/bodgit/bkmm-129x-ultimate, just navigate to the releases and everything is there for both boards. I'll add the Arduino firmware and an STL file for the bracket later.
Just be aware I've not tested this yet so it might destroy worlds and/or PVMs.
I've finally succumbed to a 3D printer too, although it'll take a few weeks to arrive. Something about beg for forgiveness rather than ask for permission springs to mind...
I think they're quite hard to get in general. I might live to regret picking that connector although I can probably use a genuine or clone XH in a pinch as it's the same pitch. I found RS have the right angle 5 pin PCB connector, but nothing for the cables so I'll have to hunt for those. They had the straight 13 pin PCB connector, but I couldn't see a right angle version in or out of stock. Ages ago I made some KiCad 3D models for the NH connectors and there's essentially three variants; straight, right angled, and an odd upside down version. I remember that not all variants are available in every pin count, it might be that the right angled version isn't available for 13 pins.