Thank you, but I’ve already changed it by editing the .php file directly. It was much easier and quicker that the steps you suggested.
Just as a bit of feedback – there’s no reason why anyone should have to download a translation plugin in order to edit the text on a button. If I had actually had to do that, I would have asked for a refund instead. No user journey should ever be that complicated.