Это очень важно.
Мы с радостью принимаем качественные PR, но каждое новое настройка так или иначе создаёт дополнительную нагрузку, поэтому мы стараемся быть очень критичными к тому, что добавляем.
Альтернативный вариант — задать этот вопрос на самом форуме, который вы используете… Возможно, вам удастся убедить их полностью отключить эту функцию.
В любом случае, прежде чем тратить своё время и силы на создание PR, разумнее будет создать запрос на новую функцию в канале Contribute > Feature и посмотреть, найдёт ли ваша идея поддержку.
Однако, если вы можете легко скрыть этот элемент с помощью CSS, как предлагается здесь, мне интересно, почему вы так настойчиво настаиваете на том, чтобы сделать его настройкой? Это просто идеологическая позиция?