{{HCoop-specific stuff}}
-extern val home : string -> string
+extern type homedir_path;
+{{Some relative subdirectory of your home directory}}
+
+extern val home : homedir_path -> your_path;
{{Shortcut to denote a subdirectory of your home directory}}
+val mailmanHcoop = mailmanWebHost "lists.hcoop.net";
+{{Configure your domain to have its Mailman mailing lists served on the web at
+ lists.hcoop.net.}}