And look where those nefarious links are pointing!! developer.android.com and dl.google.com...

As I said, if you feel safer because you run all those commands manually, it is ok...