[tor-commits] [manual/master] remove spurious whitespaces from CI Lint