Hi Neil,
   I sent these patches out in late October, but have noticed that they have not 
yet made it into your git tree. Is there anything preventing them from going in?

Thanks,
Jeff