Copying from #228's comments into an own ticket, to help users search and keep track of known issues.
- Open a file.
- Modify it.
- Tap Save As.
- Type the name of another existing file.
- Tap to overwrite.
- (ok) The filename at the top-left is changed.
- (bug) The file is not overwritten. Instead, you are asked again.
- If you tap Overwrite this second time, the file is overwritten.
Copying from #228's comments into an own ticket, to help users search and keep track of known issues.