Python: Generate a new unique filename from a given filename

Question

Suppose that I have a textfile text.txt. In Python, I read it to lines (which is a str object), make some changes to lines, a