[Python-Dev] Re: Allow custom headers in `http.server`