[tor-commits] [lego/master] Update banner.html