Add sizes for some of Plat's characters

presets/characters.js

@@ -50415,6 +50415,10 @@ characterMakers.push(() => makeCharacter(
         },
     },
     [
+        {
+            name: "Compressed",
+            height: math.unit(7, "feet")
+        },
         {
             name: "Normal",
             height: math.unit(12, "feet"),
@@ -50471,6 +50475,10 @@ characterMakers.push(() => makeCharacter(
         },
     },
     [
+        {
+            name: "Compressed",
+            height: math.unit(10, "feet")
+        },
         {
             name: "Normal",
             height: math.unit(25, "feet"),
@@ -50609,6 +50617,10 @@ characterMakers.push(() => makeCharacter(
         },
     },
     [
+        {
+            name: "Compressed",
+            height: math.unit(8, "feet")
+        },
         {
             name: "Normal",
             height: math.unit(14, "feet"),
@@ -50632,6 +50644,10 @@ characterMakers.push(() => makeCharacter(
         },
     },
     [
+        {
+            name: "Compressed",
+            height: math.unit(9 + 6/12, "feet")
+        },
         {
             name: "Normal",
             height: math.unit(17, "feet"),