#1027694 Add "Jump to Options" at the top of reports

#1027694#3
Date:
2023-01-02 06:28:42 UTC
From:
To:
Let's take a long report like
https://bugs.debian.org/cgi-bin/pkgreport.cgi?submitter=jidanni@jidanni.org

Well let's say we want to toggle some options.
However they are thousands of lines down.

Therefore at the top there could be a handy "Jump to Options" link.
I.e., this h2
  <h2 class="outstanding"><!--<a class="options"
  href="javascript:toggle(1)">-->Options<!--</a>--></h2>
needs an id=... , and at the top there should be a
hyperlink to jump to it.

In fact it would be good practice to give each element an id= so people
could make links to them.