Replace symbol name refactoring (which has not been tested at all)
bug fix in unsaved files
redo of the automatic rename code