Changing User's Name

We have a user who has legally changed their name and our IT department has changed their email to match.  Do I just edit/change their name and email under User Management?  Or do I need to create a whole new profile and make the current one inactive?  Or is there better option?