### Description Discussion can be found in #91 We should consistently use internal links and just add a link to the GitHub Repository, e.g. at the top of a page.