Just talked to him and apparently they've blocked port 5223, which is used by SMP servers, as well as xmpp w/TLS. He's going to configure fallback to port 443 with websockets to get around the block.