## Changing reader file now keeps its proxy's name if it was renamed

Upon changing a reader's file, if the name of its proxy is not the name of the previous file (i.e. the user renamed
the proxy), the proxy's name is not modified anymore.
