Change hero name.

Dear forum members! I recently started working on a small mod and I needed to change the names of some characters. After searching through the files, I found a file called HOTRAITS.txt. It seems like this is the file I need to edit, but I'm not sure what the exact steps are and where to put it after editing. Would you be so kind as to help me?