Should this be `"echo -e \"\\033[33;1m…\\033[0m\"; "`? I'm not sure if it actually makes a difference in the output, but the difference in the input is if we run `echo -e "\033[33;` or the same command with an actual literal escape character instead of `\033`.