[tor-commits] [tpo/master] Use 25th anniversary banner