[tor-commits] [lego/master] Make banner look nice