A separate issue was fixed and the fix required a DNS alteration - you've cached the original DNS and that's the reason you're seeing the page you saw. DNS caches can take a while to clear up. It does clear up, thankfully, but how long is a question >.<; I've had a prior client experience 2 long days of DNS being cached.
Unfortunately, the instructions given by that page appear to be for desktop OSes.