The recently proposed regulations state that plans may include a provision deeming high-paid individuals (HPI) as having irrevocably elected to have their catch-up contributions treated as Roth. Should this provision be incorporated into the plan document itself, or should it be added as part of the SECURE 2.0 amendment?