{{UNIX users and groups that you're allowed to run as}}
extern type your_path;
-{{A filesystem path that you're allowed to use.
+{{A filesystem path that you're allowed to write to.
The set of permitted values is generated from a set of roots by closing it
under the subdirectory relation.}}
+extern type readable_path;
+{{Like [your_path], but also includes some paths that everyone is allowed to
+ read.}}
+
context Domain;
{{Configuration directives specific to an Internet domain}}