edit I have moved this post to a new thread since it opens a can of worms which is somewhat orthogonal to the present discussion.
The matter of the amending or adding to the
baselibrary has come up a fair amount in this discussion. While such changes are of course possible, I do wonder whether this is the best solution to the problems that users feel.…