condor_job_router_tool man page rename, tried again, with correct
sequence of git commands #4569 #4707