Мы скрываем кнопку редактирования в темах Documentation > Developer Guides, но, думаю, люди обходят это с помощью сочетаний клавиш или быстрого редактирования. Нужно скрыть/отключить ещё больше вещей! 
Внизу каждой документации у нас есть ссылка на исходный файл. Так что, если вы хотите отправить PR, лучше всего использовать именно это: