No, they should leave it. Make it as onerous and tedious and annoying as possible to set up a new computer.

2026 is the year of the Linux desktop. It's time - Linux has never been better or easier to use than it is right now.