Retirement tax questions

That's interesting. Seems like I've read otherwise, but as a practical matter it's a moot point since the 401k admin wouldn't allow it if the IRS doesn't.