I see that it’s there - thank you. Perhaps they will add it to the tool shelf, as in 2.79. While I was able to do a normal operation with a single ‘target’ object, when I had 2 objects selected to be cut, blender simply edited the last one selected (the active one) leaving the other selection untouched. But at least it’s there - I can live with cutting objects individually.