Mod: team pushing is now announced to all the players in addition to the
log file entry.