If this is intended behavior, it should be documented in the ref. People currently expect calling del(world) to be the last line of DM run, leading to esoteric bugs if file accesses occur afterwards.

Some trace logs https://file.house/zrUG.zip