Hi, On 7 March 2023 17:46:50 UTC, Simon Tournier <zimon.touto...@gmail.com> wrote: >Well, from my point of view, we have a trap because the documentation is >not clear. :-)
Both. However, merely documenting something is not enough when we have the chance to fix misleading naming, as we do here. It would be nice to have, but orthogonal. Kind regards, T G-R Sent on the go. Excuse or enjoy my brevity.