On 10/26/2012 5:09 PM, Georg Brandl wrote: > FWIW, docs3 already exists. Nobody is using it. I do, when I want to see the updated version instead of the older window's help version. -- Terry Jan Reedy