GrackAuthProxy now rewrites requests of the form /user/repo to the form /repo.filesystem_name.