----------------------------------------------------------------------
(* Every 10 minutes, get the latest tagged version from the
- * git repository. The variable 'tag' will be set to something
+ * git repository. The variable 'version' will be set to something
* like "v1.2.3", "v1.2.4", etc over time as new releases get
* tagged.
*)