> That sounds right. I don't have time to really understand the ins
> and outs, but if you can write an ERT test case for it, we could
> install the change.

Thanks. The doc patch is relevant with or without a fix, so I'll
install that soon if there's no objections.