v8.1.1766
84538079 · patch 8.1.1766: code for writing session file is spread out ·