redex typesetting: make token splitter more tolerant
redex typesetting: make token splitter more tolerant

Possibily the typesetting enginer should reject an ill-formed
input, instead; I'm not sure what went wrong with the input.

mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket