Re: repl broken in poke

[Jose E. Marchesi]

        +  /* Due to readline's apparent inability to change the word break
        +     character in the middle of a line, we have to do some underhand
        +     skullduggery here.  Spaces are substituted with SPACE_SUBSTITUTE,
        +     and then substituted back again in various callback functions.  */
    
    This broke poke:
    
    (poke) 4 / 2
    <stdin>:1:5: error: syntax error, unexpected INTEGER
    4   2;
        ^
    
    Note how '/' characters are transformed to whitespaces.
    Can you please take a look ASAP?

Thanks for fixing this.