Add TODO: All uses of command substitution $() do not take care of what happens to stderr. Maybe we should review them all and decide whether to clone stderr to the log file.
Remove duplicate "ERROR: " prefix from output produced by die()