https://github.com/microbit-foundation/dev-docs/blob/master/bluetooth/profile.md should have a clearer link to https://lancaster-university.github.io/microbit-docs/ble/profile/#all-services-enabled-hex-file and microbit samples where the Hex files live