Looks like @python-dev hasn't received any replies!