> This saves 98 bytes plain and 15 bytes after gzip.

Actually it might save a bit less because the file is installed onto
the media with the SCRIPT directive in miniroot/list2sh.awk, which
already does some whitespace cleanup.  I'm not a fan of what SCRIPT
does, because one day it is going to make a conversion mistake.