{{The most common kinds of domain configuration}}
+val default_node : (node) = "mire";
val web_node : (web_node) = "mire";
val webAt =
dns (dnsNS "deleuze.hcoop.net");
dns (dnsNS "mire.hcoop.net");
+ dns (dnsDefaultA (ip_of_node default_node));
+
handleMail;
mailbox <- Mailbox;
catchAllAlias mailbox;