D. R. Evans via tde-users wrote:
I just tested this, and here "Save As..." does present a default name with digits incremented. Which is, I think, exactly what I was doing and brought me here in the first place :-)
... overwrite a file with the same name (to move you forward from here)