Add a clarification to the patch text.
Add a clarification to the patch text.

The previous text might give false impression that the users of the bot need to
patch NetHack. This is not the case.

UnNetHack/pinobot,UnNetHack/pinobot