Review docs/semaphore.md