We do hide the edit button on Documentation > Developer Guides topics, but I think people get around it by using the keyboard shortcuts or quick edit. More things to hide/disable! 
We have this at the bottom of every doc, with a link to the source file. So that’s probably the best thing to use if you want to make a PR: