Add “Improve page on GitLab” to manual pages
On manual pages, there should be an edit option so that users can directly propose changes to the page. This was suggested in #80 (closed).
On manual pages, there should be an edit option so that users can directly propose changes to the page. This was suggested in #80 (closed).