Re: Export - what the heck happened?

[Pavel Sanda]

> This doesn't say you should delete the old file, but it does kind of imply 
> that. I'll add a note making that explicit.

would be easy to automatically detect this problem?

pavel