If @paulkaplan is using notchRadius / sqrt(2) then that is not correct. The offset (along the 45° path, since we’re dogboning a 90° angle) should be x which is the diagonal d minus the radius R.
Looks like that’s what he’s doing. From the code on github:
var notchOffset = params[“Notch Size”] / Math.sqrt(2);