Thanks for the help @DavidD66 !
Yes, these contributions are made on top of the max pre-tax salary deferral, and I’ve already paid taxes on them.
From what I understand, with a daily "in-plan conversion" to a Roth 401(k), both the after-tax contributions and any earnings could be withdrawn tax-free in retirement.
