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