Improved doc of with-channel w.r.t. asynchronicity