> Thanks I pushed it. I forgot to mention, but I intend to push this to the > 8.2 branch. Any concerns about this? No problem on my end, the patch looks safe to me. Thanks Simon, -- Joel