Thanks a lot, I think I have it figured out now. In the options dialog, I removed the definitions for a history and a dirhistory file. This disables the automatic loading of these -- which were saved with duplicates, differently from what shralias saves. I now "manually" load the shralias *.sav...