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