My miner just lost connection to the pool and is having trouble reconnecting. I can get to the website, and everything else seems fine, but it can't find the pool. Has anything changed?

Also: getting started page lists both port 3333 and 8337 - which is correct?

Update: Connection returned.