Doc: Add a "Edit this page on Github" link, close #2127