diff --git a/mgmt b/mgmt
index 58fc7d0..703c2ed 100755
--- a/mgmt
+++ b/mgmt
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+# This file belongs to the framework.  You are not expected to modify it.
+
 # Management command runner - parallel to ./cmd for operational tasks
 # Usage: ./mgmt <command> [args...]