Attempt to clarify user_canceled. Fixes #1208 #1273

Closed ekr closed 1 year ago