Delete init_workspace.js~