There's google groups posts about this dating from 24 months ago.

Also, python.org/downloads was also blocked (but not the rest of python.org). If you go to python.org now, there's a page labeled "Downloads" in Chinese for Chinese downloads which is not blocked. I guess it's easier to create a mirror than lobby to get a page removed from the banned list. It's weird though.

I think there was some Chinese version of android.com, but I don't know how close to the original it was.