lower: Change terminology, introduce "heavy" vs "light"

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/templates/script.ts b/templates/script.ts
index 3d0341af97cca638e82b52f1a837d35413602624..429b2ee1b4194710cd2fcd3b72a23985fe11f539 100644 (file)
--- a/templates/script.ts
+++ b/templates/script.ts
@@ -615,9 +615,9 @@ function lower_pieces(targets_todo: LowerTodoList):
   //
   // Disregarding heavy targets:
   //
-  // Z     <some stuff not including any unheavy targets>
+  // Z     <some stuff not including any light targets>
   // Z
-  //       topmost unheavy target         *
+  //       topmost light target           *
   // B (
   // B     light non-target
   // B |   light target                   *