On 08/02/2018 12:43 PM, Paul Moore wrote: > But if someone wanted to raise a doc bug suggesting that we mention > this, I'm not going to bother objecting... > Paul > I opened a bug here: https://bugs.python.org/issue34319 We can see what others think. Cheers, Thomas