Brett Cannon wrote: > In the end it's Benjamin's call, but my vote is to make the change. > The chances someone wanted None as their help message is so bloody > small and this is such a good UX change that I'm +1 on making the > change. I completely agree. -- Eric.