On Mon, 24 Feb 2025 22:23:30 -0500, Arne Vajhøj wrote: > But that just give the reader of the code a few more names to remember > what is. That’s what your editor’s search facility is for.