That's actually exactly what I want. I've seen this before with this very frame and the solution was to braze a diamond-shaped patch over the back of the tube and recut the notch.
Very good solution. I think this is what I will ask for, and if it fails, then resort to a lug. Thanks to both suggestions above - this gives me a bit more confidence that this can be resolved reasonably.