Lukas Renggli wrote

I doubt this is generally useful. Sometimes you might want the skipped
input, sometimes you might want it as a token, sometimes as a trimmed
token, sometimes you need the end as a token, sometimes the end as a
trimmed token, sometimes both or a combination of any of the two.