[tor-commits] [metrics-tasks/master] Apply Roger's tweaks to George's detector.tex (#2718).