+# platform-specific hints file and rewrite it at the end.
+#
+# The sequence of events is as follows:
+# A: If you are NOT re-using an old config.sh:
+# 1. At start-up, Configure loads up the defaults from the
+# os-specific hints/osname_osvers.sh file and any previous
+# Policy.sh file.
+# 2. At the end, Configure runs Policy_sh.SH, which creates
+# Policy.sh, overwriting a previous Policy.sh if necessary.
+#
+# B: If you are re-using an old config.sh:
+# 1. At start-up, Configure loads up the defaults from config.sh,
+# ignoring any previous Policy.sh file.
+# 2. At the end, Configure runs Policy_sh.SH, which creates
+# Policy.sh, overwriting a previous Policy.sh if necessary.
+#
+# Thus the Policy.sh file gets overwritten each time
+# Configure is run. Any variables you add to Policy.sh will be lost
+# unless you copy Policy.sh somewhere else before running Configure.