[Pitch] Document (the lack of) spurious failures in `Mutex.withLockIfAvailable(_:)`

There's some discussion in the pre-pitch thread: Should we document the behavior of `Mutex.withLockIfAvailable()`? - #5 by grynspan