Use generic team names for non-themed random teams; add a bunch of more random team names First team name list in types.ini are considered to be generic. If the random team generator decides to use hats not taken from types.ini, it only uses a generic team name, not one of the other themed team names.

Nobody Laugh mission: Set bot level to maximum because the player is supposed to win before the time runs out

Battalion: Only show collected ammo to local player

Change some HedgeEditor menu icons