Issue #4427 duplicate
Sebastian Rahlf
created an issue

When looking for a known issue (let's say #30), it would be helpful if you could simply type that number in the search box and end up directly on the appropriate detail page.