> On Feb 18, 2024, at 10:02 AM, Gary Gregory <garydgreg...@gmail.com> wrote:
>
> I've never heard of someone being called a "sharpener"; I've used a
> knife sharpener and a pencil sharpener ;-) ... it feels like a stretch
> here.
>
> In general, I prefer names that simply describe intent instead of
> cuteness/cleverness, especially in an international context where I
> find it beneficial to use words that make sense if you have to look
> them up.
Cool. Y’all come up with a name, and I’ll swap it out.
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@community.apache.org
For additional commands, e-mail: dev-h...@community.apache.org
