mutex: improve header comment to be actually informative about the API