Docs for select() fd_set stack corruption bug. #4088