Someone mentioned recently that this was long-ago decided for early-Mafia memory-efficiency reasons.
Is that still a relevant concern now, fifteen years on? (ref: the commit that says it introduced Modifier Maximizer was made on Jul 13, 2009) That is, obviously memory efficiency is always a...