BTW, and sorry if I'm cnfusing things here, maybe.
Do you & Stefan mean, with "restart", restarts like in CL, i.e.
restart-bind, invoke-restart, find-restart, ...?
Yes, those are the ones I mean.
I guess not, because I
think, handler-bind handlers in CL would/could use invoke-restart. At
least that's what I have in the back of my mind. So, I guess my question
is what kind of restart is this?
The same you had in the back of your mind. That's exactly how they cooperate normally. It was I who was confusing and misremembering things with my poc. Restarts normally aren't implemented in terms of handler-bind as I clumsily suggested, but handler-bind is essential to invoke then or even modify the condition as it travels up-stack.
João