[tor-commits] [tech-reports/master] Ignore another file.