dk Ml.Switch init broken on Linux and macOS
In DkML 2.1.2 we have in dkml-runtime-distribution/src/unix/create-opam-switch.sh:
### BEGIN pinned-section. DO NOT EDIT THE LINES IN THIS SECTION
# Managed by bump-packages.cmake
echo 'pinned: [
...
"dkml-host-abi-windows_x86_64.1"
"dkml-host-abi.1"
...
"dkml-target-abi-windows_x86_64.1"
The DkML build machine's ABI should not be part of the pinning.