A small field should be added near the navigation controls to jump to a specific problem ID. Currently one has to manually edit the URL to do this.
A small field should be added near the navigation controls to jump to a specific problem ID. Currently one has to manually edit the URL to do this.