Also fix Help command that broke after some last-minute refactoring, and tweak interactive EOF handling.