Access to Protonet servers over .protonet.info addresses was interrupted for 10 minutes at 2pm GMT. The issue is resolved.
Protonet servers could still be accessed over their local addresses.
