On Thu, Jan 4, 2018 at 8:15 PM, Guido van Rossum <guido at python.org> wrote: > Sounds uncontroversial, this can just be done via bugs.python.org. > .. and it has been proposed there over 7 years ago: <https://bugs.python.org/issue9325>.