proc upgrade(): void {...}{.raises: [IOError, OSError, ValueError, JsonParsingError,
                                Exception, HttpRequestError, LibraryError,
                                SslError, TimeoutError, ProtocolError, KeyError,
                                MissingFilenameError, UnsupportedOSError], tags: [
    ReadEnvEffect, ReadIOEffect, WriteIOEffect, RootEffect, TimeEffect,
    ReadDirEffect, WriteDirEffect].}