how to determine the filename of content downloaded with HTTP in Python? how to determine the filename of content downloaded with HTTP in Python? python python