Да, довольно незначительно, но внесение этого изменения вместе с настройкой по умолчанию не слишком сложно… Я открыл PR для этого здесь: