Yes that Edit Flow bug has always annoyed me.

Another bug that's in the core which I showed Otto is if you're quick editing the post to change post status or heck do anything form quick edit screen (then the timestamp gets saved)... Which means when you later publish the post and if you weren't paying close attention... your post wouldn't go out immediately... it was backdated to the day that you first made the quick edit.

Hopefully that one will get fixed as well.