Why on earth does https://developer.android.com block #Tor connections now? It does seem like #Google is aiming to collect ever more data on #Android developers, maybe this is one thing they're doing to ensure they get decent IP data there.
It used to be pretty easy to build a local copy of the #Android developer docs. It was quite nice because it was super fast to navigate. I even made a #Debian package for the offline version. #Google broke that back in Android 6.0 or so.