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