[freudenjmp]

Given that Valve doesn't reply to simple requests like this to ask if it is in-scope, I can't know that. Though I agree with your conclusion. Makes sense!