> unexplainably bad defaults and UX for auto-formatting

Agree. Soooo many leading zeroes have been striped from ZIP codes.

Equally as bad is no visual indicator to distinguish formula cell from static cells. Easy to silently overwrite formulas with a careless paste.