Fair point. Raising the total contribution limit from all sources to $58k + $6k, without differentiating between individual and other contributions would totally make sense. It's an implementation detail, but a significant one, to be sure. :-)