On 10/25/2012 04:02 PM, Paul Eggert wrote: > I will try to get to it tonight, US Pacific time. I have a set of 3 proposed patches and will email them out shortly. The goal is to push out a new version in the next day or so. Sorry about the rush, but several entries are wrong now.