Efficient projection onto the intersection of a half-space and a box-like set and its generalized Jacobian. (3rd April 2022)