Comment by texuf

This doesn't dignify a reply, but the parent comment was about avoiding data loss because of crashes, and the saving is just good hygiene if you’re making frequent commits, formatting on save, etc. one less thing to think about, one less mistake made.