// TODO: Integrate this into ShellInstanceState.
// The set of shown warnings should not be global, but rather per-Shell,
// and we should not be using methods like console.warn inside the
// shell-api package either (because we should generally stick to
// what's in the language itself, not the specific runtime environments).