Dear future me: It's not obvious how to start bash without executing any profile or rc files. It's `env -i bash --noprofile --norc`