{{The most common kinds of domain configuration}}
-val default_node : (node) = "mire";
-val web_node : (web_node) = "mire";
+val default_node : (node) = "navajos";
+val web_node : (web_node) = "navajos";
val web_ip = ip_of_node (web_node_to_node web_node);
val webAt =