>> If someone has a patch I can try, I'd be glad to do so. Jakub> I'll commit a fix today. If you can send me a patch that I can apply to vanilla 2.13, that will enable me to verify that it suffices by itself to fix the problem.