Thanks!
I'm following your instructions and downloading the file (yes, Australia is great but my Internet connection still consists on a 5MB/sec ADSL2+
)
Just a couple of points:
1. To get "adb" on my Mac, I followed instructions from
https://stackoverflow.com/questions/31374085/installing-adb-on-mac-os-x/32314718#32314718, in case someone else stumbles here and can use the pointer.
2. Is there an explanation for why my phone didn't get 7.1 pushed to it yet? From all the announcements I sort of expected it to be pushed to my phone automatically, just like 7.0 did when it was released. Just very curios.
UPDATE: Got 7.1.1 on my phone. Still curios as to why it haven't been pushed automatically. Thanks again for the pointer.