I now prefer the s < order/2 version of this just because it produces smaller signatures and the flip is even easier to implement than the even/odd version.
So how exactly K needs to be changed/processed to have S < order/2 ?
Or we keep K as it is and just postprocess S ?