Rename .idea/workspace.xml to doc/.idea/workspace.xml