Whoops! I merged a PR earlier today that broke searching Github issues; thanks for pointing that out!