Hi, Zooko Wilcox-O'Hearn <zooko at zooko.com> writes: > Thanks for the bug report. I added it to ticket #755. (I'm not sure > if that is the same issue -- please see if it makes sense to you.) It does, thank you! Ludo'.