[BUR] update ice_box -> cooler

BUR #2510 has been approved by @NWF_Renim.

mass update ice_box -> cooler

Reason: Both tags are used in exactly the same way, but cooler has a wiki and appears to be the preferred term, with more than ten times as many posts.

EDIT: The bulk update request #2510 (forum #165517) has been approved by @NWF_Renim.

Why not an alias instead?

I was concerned that an alias would potentially be problematic if it ever becomes necessary to tag the kitchen appliance from the pre-refrigeration era. But it can still be an alias if that helps steer everyone to the same tag.

iridescent_slime said:

I was concerned that an alias would potentially be problematic if it ever becomes necessary to tag the kitchen appliance from the pre-refrigeration era. But it can still be an alias if that helps steer everyone to the same tag.

Can't we simply tag these as fridge/refrigerator?
Our wiki doesn't make a difference between modern and "ancient" fridges.

The bulk update request #2510 (forum #165517) has been approved by @NWF_Renim.

Went with the mass update. Ice box is too ambiguous a term to alias. It can be used to cover ice box cabinets (pre-fridge devices), ice coolers, and even refrigerators themselves (due being the replacement device the term carried over in use).

NWF_Renim said:

Went with the mass update. Ice box is too ambiguous a term to alias. It can be used to cover ice box cabinets (pre-fridge devices), ice coolers, and even refrigerators themselves (due being the replacement device the term carried over in use).

Alright, that's the best option.