Hello! Is it possible to change the workspace name? Currently is using "dendron.code-workspace" and if I change it the file name, dendron is not loaded properly