condor_job_router_tool man page rename, tried again, with correct
sequence of git commands #4569 #4707
Merge branch 'V8_3_2-branch'