Include semaphore-name accessor in documentation