On Fri, Feb 26, 2021 at 5:01 AM Miguel Ojeda
<miguel.ojeda.sandonis_at_[hidden]> wrote:
>
> This was already discussed in WG14 and it was voted to go with the new
> name and new interface.

To be clear: I welcome any feedback, but please let's focus the
liaison discussion on picking the preferred wording alternative as
stated in the description.

Cheers,
Miguel