Comment by stevan

I give two examples of a stateful upgrade in Erlang/OTP in the motivation, neither rely on distributed storage.