On Mon, Oct 14, 2019 at 10:04 PM Eli Zaretskii <eliz@gnu.org> wrote:

> So you are talking about a different,

Agreed.

> almost unrelated, feature.

Obviously, we don't define "almost unrelated" the same way. Fair enough.