[apops] Lacking a better place to ask: Is telkom.net.id around?