Doc comments for the 'mutex' classes extended