Question: A sane way to rename a directory in subversion working copy