The libertarian part is that the employee has the right to opt out of the default option. Because people rarely move away from the default option, the employer’s paternalistic choice prevails, and we get libertarian paternalism.