github: Improved search on the issues dashboard

GitHub is rolling out semantic (natural-language) search in public preview on the Issues dashboard over the coming week.

• Source: GitHub