Now we can choose View / Edit of configuration.php-dist in FileZilla and notepad opens. (Don't worry if the file contents appear scrambled, we're going to overwrite them).

Delete the contents of configuration.php-dist and paste in the code you copied in the previously.