Dead simple.
How do I rename
05_h.png 06_h.png
to
05_half.png 06_half.png
At least, I think it\
Another approach can be manually using batch rename option
Right click on the file -> File Custom Commands -> Batch Rename and you can replace h. with half.
This will work for linux based gui using WinSCP etc