Update: We have moved to a new DNS provider and also migrated doc.etherpad.org to a new hosting provider, which means that it will hopefully be more stable in the future. We are currently moving DNS from an old (unreliable) provider to a shiny new one that is super reliable. doc.etherpad.org and our email is currently …