Richard Stallman <address@hidden
> It sounds like an improvement in functionality,
> but wouldn't it be a lot slower?
Compared to revert-buffer, yes, I would expect it to be slower (not sure
if a lot). But maybe the trade-off between time and preserving some
buffer information is worth it, let's see.
I'm finalizing some benchmarking, which I'll post in another email.
I'll wait for opinions about the results.