On 5/3/2013 23:27, Christopher Faylor wrote: > > I'm not planning on changing anything else. If my change doesn't result > in usable documentation then I'd appreciate it if you would fix it. Okay, that one line change is now checked in, with a ChangeLog entry.