Ocultamos el botón de edición en los temas de Documentation > Developer Guides, pero creo que la gente lo evita usando los atajos de teclado o la edición rápida. ¡Más cosas que ocultar/deshabilitar! ![]()
Tenemos esto al final de cada documento, con un enlace al archivo fuente. Así que esa es probablemente la mejor opción si quieres hacer una PR: