On 10/2/2015 8:16 PM, Guido van Rossum wrote: > I think I was reluctant to name it after a living person. I like the > idea of keeping it all caps and changing the interpretation. Done as part of #25224. -- Terry Jan Reedy