It seems to be intuitive to a user if they want to edit a previously created file to go to the closed PR, navigate to the file, and click on it to edit it; currently that file can't be opened, but we could allow editing that file by starting a new session directly from there; what we need to figure out is what happens if that file has been deleted in the meantime;