Fix #3257: document that exitWith in a forkIO'd thread does not exit the process