In a Seinfeld episode, is the laughter noise in the script or is it just up to the editor to figure out when to add it in post?