Rename LaTeX_solver2 to workspace.html