Update notes for submitted changes

* Fix pthread_detach for already-exited threads.