Isso é muito importante.
Adoramos receber aqueles PRs de alta qualidade, mas cada configuração causa sobrecarga de uma forma ou de outra, então estamos nos esforçando muito para ser críticos sobre o que adicionamos como tal.
Uma rota alternativa seria levantar a questão no próprio fórum que você está usando… talvez você consiga convencê-los a desativá-la completamente.
De qualquer forma, antes de investir seu próprio tempo e esforço para criar esse PR, uma boa aposta seria fazer uma solicitação de #recurso e ver se sua ideia recebe algum apoio.
No entanto, se você pode facilmente ocultá-la via CSS como sugerido aqui, estou curioso para saber por que você está tão convicto em transformá-la em uma configuração? Isso é apenas motivado ideologicamente?