I don't want to leave it in options because they get passed around and deeply. I delete it here, to stop it from propagating.

Open to reasons we may want it to propagate, though.