On Sunday, 27 November 2022 at 07:48:48 UTC, XavierAP wrote: > But as a general practice shortening names for the sake of > shortness is very bad practice. Particularly when you shorten it to an ambiguous `$`, or just remove the name altogether.