Changing workspace names, weeeee!
plugin required for orgmode