The console_not_closing_promptly problem I have been complaining about for months is gone. Rex, did you identify its cause specifically?