Add semaphore doc text