I just started implementing the auto-save feature every ten minutes on the odd chance I forget to save while working. I noticed something I don't understand though. Normally, when a project is in a changed-but-not-saved state, there's a little helpful asterisk next to the file name in the window title. It's great because I know I'm all saved up when that asterisk isn't there. However, I see that when the file is auto-saved, that asterisk doesn't go away. I've noticed this a few times, where I'm not doing anything and I see auto-save kick in, but then the file still looks unsaved by the presence of that asterisk. What's the thinking behind that, am I misunderstanding something?