"report an issue" functionality

[kohlhase]

There are two functionalities I would like:

• "report a MathHub issue" in the top-level "help": just open an issue via https://github.com/MathHubInfo/Frontend/issues/new

• "report a content issue": this should be part of the generated pages (e.g. under the library pages) or also in the glossary. Say we are in the english glossary entry "sets/bijective", then we should use the link https://gl.kwarc.info/smglom/sets/issue/new and prefill the title with "problem in bijective.en.tex".

this would great for content curation.

[tkw1536]

@AiraComet the urls for this should not be hard-coded, instead they should be configurable in https://github.com/MathHubInfo/Frontend/blob/master/src/context/config.ts#L34.

[kohlhase]

The button for this could go next to the the new view source button.

[kohlhase]

@AiraComet It would be very good to have this functionality, and this seems easy to add to the front-end.
In particular, the top-level "report an issue" functionality should be a five-minute fix and already helpful.

@kohlhase Except for the fact that every Report button links to https://github.com/MathHubInfo/Frontend/issues/new
is that how you imagined it?

[kohlhase]

I am not sure, the top-level menu entry is good. But it does not advertise that the issue to be reported is content-specific.
I think I would like to have a green "issue" button near "Statistics". for the individual content-specific issues. And that button should have a hover text

Report an issue with the contents of the current page on the archive issue tracker. 

I updated the button placement and added the hover text.
@tkw1536 added the content issue urls.
So @kohlhase if you don't have any further comments this issue can be closed.