Not sure what to make of @ajoino’s comment, it felt like a bug and hence reporting as an issue on GitHub. I haven’t had much in the way of response, hence asking here.
I could turn this into a pull-request and there was another volunteer, but I wanted to get some feedback as to whether this was likely to be accepted before doing so.
I’ve not contributed to CPython before hence some uncertainty about what’s normal for this project.
I now see that you posted an issue on Github. I didn’t open the link because you said you sent it a mailing list and assumed you were correct. Sorry about that.