remove sentence from manual, which was wrong now that default prio
factor is 1000 and not 1. #4282
documentation of new configuration file syntax, use <category>:<name>
 #4031 #3820
add placeholder section for where documentation about new if/else
configuration file syntax will go #3820 #4031 #4211
edit new man page for condor_pool_job_report tool and compose a version
history item #4267
Fix typos and improve defn of knob RUNBENCHMARKS #4289