Maybe you can do the same thing through the Site admininistration -> Language -> Language editing, then click "Edit words and phrases", select "hotpot.php", then modify the "modulename" and modulenameplural" strings.
HTH
Gordon
Hotpot (plugin)
Hot Potato Naming Issue
This discussion has been locked so you can no longer reply to it.