[lordmauve]

> I would be interested in examples of code that users believe require cancellation-specific async code, though.

This happens all the time. For example, cancellation in the middle of sending a HTTP request. The connection is now unusable and must be closed. Without cancellation the connection returns to a state where it can be used and is re-added to a pool.