Am 27.12.2018 um 18:25 schrieb Riccardo (Jack) Lucchetti:
Ok, I've thought a little about it. I believe the best course of
action
is the following:
(i) the function is there, anyone can use it in their own scripts (no
drawbacks that I can see)
If the use should be encouraged, then it would have to go either into
the guide/cheatsheet or into the 'extra' package. I believe a posting on
the mailing list has no widespread permanent effect. I only meant that
I'm skeptical about a core function (and the name could be debatable, too).
(BTW, isn't the mailing list going to switch over to your place, with a
relaunch in terms of additional web interface?)
cheers,
sven