[tor-commits] [tpo/master] Patch for color in header