auto-save after any (every) program change. It's a bit user-unfriendly actually, but it protects against closing browser window and forgetting to save