improve the release procedure

build-test-boot

@@ -1,4 +1,8 @@
 #!/usr/bin/env bash
+# We want to move this into ./build. The only reason we haven't is that
+# what to build depends on --size, which ./build does not support right now.
+# The best way to solve this is to move the dependency checking into the run
+# scripts, which will take a while to refactor.
 set -eu
 test_size=1
 while [ $# -gt 0 ]; do