[Python-Dev] Re: Three trivial PRs from first-timers in need of merging!