Removed lingering references to "mre_4fingers"

It is called mre_hotdog everywhere now, though the "Four Fingers"
story is still mentioned in the description of the hotdog course
inside.
Merge pull request #5169 from joshuagiles/mre-name-fix

Removed lingering references to "mre_4fingers", now "mre_hotdog"