Das ist ziemlich wichtig.
Wir lieben es, diese qualitativ hochwertigen PRs zu erhalten, aber jede Einstellung verursacht auf die eine oder andere Weise Overhead, daher versuchen wir sehr sorgfältig zu sein, was wir als solche hinzufügen.
Ein alternativer Weg wäre, die Frage im Forum selbst zu stellen, das Sie verwenden … vielleicht können Sie sie davon überzeugen, sie ganz auszuschalten.
In jedem Fall wäre es, bevor Sie Ihre eigene Zeit und Mühe in diesen PR investieren, ratsam, eine #feature-Anfrage zu stellen und zu sehen, ob Ihre Idee Unterstützung findet.
Wenn Sie es jedoch wie hier vorgeschlagen einfach per CSS ausblenden können, bin ich neugierig, warum Sie darauf bestehen, es in eine Einstellung umzuwandeln? Ist das nur ideologisch motiviert?