Finished semaphore docs, fixed some typos