On Sat, Oct 12, 2019 at 3:14 PM João Távora <joaotavora@gmail.com> wrote:

> I don't understand how this can be an argument.

It wasn't an argument, it was a light-hearted comment.

> Is not exceeding the length of the longest symbol
> ever, i.e. playing to the 99% percentile, acceptable
> criteria for readability? I don't think so, personally.

Well, me, I prefer longer names to cryptic ones.