mutex.9: Misc updates and minor improvements.