This seems like a step in the right direction, because GitHub's search remains awful. For example, I can now type in "<user>/<repo> #123" to go to an issue, bu

This seems like a step in the right direction, because GitHub's search remains awful. For example, I can now type in "<user>/<repo> #123" to go to an issue, but if I am already on the Issues page for that repo and I type "#123" in the box labelled "Search: Issues & Milestones..." it still comes up with nothing. And that's not even challenging. I'm desperately hoping that this feature is an indication that they've noticed that finding anything on the site requires either 8 million mouse clicks or manually editing URLs.