Auto-save is nice, but I think it works much better when it's a separate file. This way "main" document file (which might be checked in to git, or shared via d

Auto-save is nice, but I think it works much better when it's a separate file. This way "main" document file (which might be checked in to git, or shared via dropbox or read by some document) only contains nice, clean, saved version. And yet if your computer crashes for whatever reason, the data is still not lost and can be trivially recovered.