I somehow managed to rename the libraries as well as the 'Favorites' about half a year ago. I don't recall how, but remember that it took a lot of trial and error. It worked perfectly and consistently in the start menu and the window manager. Now, with the latest update (13 important) it all got changed back, and keeps so despite my effort to regain my version. How can I rename those again, or what was the update that reset MS defaults and how to kill it?