Boa tarde!
Verifiquei no link e após alguns testes verifiquei que é possível sim editá-los.
Porém se você não conseguiu traduzi-lo dessa forma significa que é necessário que você altere diretamente no Código-Fonte.
Muito cuidado para não comprometer o seu código, para isso, faça sempre um backup do arquivo e edite ele fora da sua hospedagem.
Caso faça a modificação e funcione, recomendo alterar o seu arquivo original para “old_nomedoarquivo.php” para que seja possível utiliza-lo posteriormente, se necessário.
Lembre-se que fazendo isso, quando seu tema atualizar e se esse arquivo tiver sido atualizado, você perderá a tradução.
Você sabe fazer essa tradução? Caso precise de ajude me informe que eu ensino como fazer.
Recomendo que para isso (se disponível no seu tema) utilize um child-theme. Será possível verificar isso de forma rápida olhando no arquivo que é baixado no Themeforest.
Geralmente (pela minha experiência) sempre apresentam um arquivo X e um arquivo zipado “nomedotema-child.zip” quando compatível com child-theme.
Espero ter ajudado.
