Closed
Description
within http://dotty.epfl.ch/docs/ each page contains a link: Edit this page on GitHub under the title. The links points to itself (http://dotty.epfl.ch/docs/ , instead of github server).
E.g.
page: http://dotty.epfl.ch/docs/reference/other-new-features/opaques.html, if you click on Edit this page on GitHub nothing happens (you are not re-directed to GitHub server). Correct link should point to https://github.com/lampepfl/dotty/blob/master/docs/docs/reference/other-new-features/opaques.md