Clarify that `exit` is OK inside another script