Good advice.

Although the user should have done all of that, it is also a bad thing that they were able to use a wallet without ever seeing a private key or seed in the first place. I think that's bad design.