extern type node;
{{The name of a server controlled by domtool}}
-extern type user;
-extern type group;
+extern type your_user;
+extern type your_group;
{{UNIX users and groups that you're allowed to run as}}
-extern type path;
-{{A filesystem path that you're allowed to use}}
+extern type your_path;
+{{A filesystem path that you're allowed to use.
+ The set of permitted values is generated from a set of roots by closing it
+ under the subdirectory relation.}}
context Domain;
{{Configuration directives specific to an Internet domain}}