Merge pull request #13359 from lampepfl/rm-edit-on-GitHub

Remove "Edit this page on GitHub"

Author: dwijnand

docs/_layouts/doc-page.html

@@ -4,12 +4,6 @@
 <main class="container">
     <header>
         <h1>{{ page.title }}</h1>
-        <div class="byline">
-            <a href="{{ urls.editSource }}">
-                <i class="far fa-edit"></i>
-                Edit this page on GitHub
-            </a>
-        </div>
     </header>
     {{ content }}
 </main>