On 08/25/2011 12:04 PM, Hans-Peter Diettrich wrote: > I can update that documentation myself, no need to bother others with > patches. > ???? Patches are invented for managing concurrent updates..... -Michael