Add link to the Python bug for gzip streaming.