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

Change Highlander.cfg to select Default by default Because if you scroll through the list, you often end up with HedgeEditor being chosen as game scheme. xD

ACF6: Set correct position of native after skipping

ACF1, fruit01, WxW: Make sure the selection dialogues never disappear on their own

Merge sheepluva's changes

TrophyRace: Fix game never eliminating any hogs after a hog skipped or ran out of time Warning: This commit _might_ invalidate past records, but I'm not sure if this is actually the case. Note that only the eliminiation part of the script is touched, not the actual race logic. Even if records are actually broken by this, I and sheepluva have decided that it's more imporant to fix this very, VERY stupid and old bug than to preserve records.

fix some fpc hints