Branch: rosuav/hilfe-improvements
Two smallish improvements to Hilfe. One is suppressing "quit" and "exit", per the TODO at the top; fairly simple but I'd like someone else's eyeballing to make sure it's going about things the right way.
Do you handle the case where the user ends the session with EOF (ie usually ^D) correctly?
/grubba