Am 18.09.2017 um 16:35 schrieb Riccardo (Jack) Lucchetti:
True, it should. But let me add something quite off-topic. In my
experience, our "replace" function doen't get the popularity it deserves
IMO.
That's absolutely right, I wasn't really aware of it. Looks like a very
versatile thing.
thanks,
sven