On Aug 15, 2020, at 1:46 PM, Eli Zaretskii <eliz@gnu.org> wrote:

(which should offer that as an optional feature).

I don’t know what does that look like, is there a custom option that I can look at as an example?

Yuan