Зато там в правом верхнем углу большая кнопка для перехода в гитхаб-репозиторий с переводом документации, куда, по хорошему, вот этот текст и надо было закоммитить.
Поймите правильно. Существует довольно большое количество open-source проектов перевода документации по ЯП, фреймворкам, открытому ПО и т.д. Люди делают полезное, но скучное и рутинное дело во благо сообщества. Представьте себе, что каждый из них, по каждой переведенной статье из доки станет писать статью на хабр.
На моем счету огромный объем переведенных страниц PHP-ной доки — вы видели тут статьи с названием «Ребят! Вот вам перевод доки про миграцию с 5 на 7»? Нет, не видели, потому что место ей на php.net, а не тут.
Все выше написанное — мое личное, оценочное мнение. Допускаю, что могу быть не прав, но что уж.
Пробелы победили. Перевод документации Kotlin Coding Conventions от JetBrains