Redirecting from /jj-workspaces.md.html to /jj-workspaces