Det mest kjente «nudge»-eksempelet – å gå til 401k-registrering som standard med automatisk eskalering – gjør faktisk ikke så mye, viser det seg.