Docs: clarify use of mutexes