Should we document the behavior of `Mutex.withLockIfAvailable()`?

[John_McCall]

So, how would this stronger guarantee change how you program against this?