Nascondiamo il pulsante di modifica negli argomenti Documentation > Developer Guides, ma penso che le persone lo aggirino usando le scorciatoie da tastiera o la modifica rapida. Altre cose da nascondere/disabilitare! 
Abbiamo questo in fondo a ogni documento, con un link al file sorgente. Quindi, questa è probabilmente la cosa migliore da usare se vuoi fare una PR: