On Thu, 8 Aug 2019 18:59:44 +0200 "Paul Rolland (ポール・ロラン)" <rol at witbe.net> wrote: > I second that... and I guess people asking the same question I asked are > likely to be in favor of removing it too. Good news: it's now removed in the GIT version. with regards Paul