[sdk-]

It landed about a month ago. I'm the contributor who implement this patch and I already have another one in the work that would let you focus the filter box when you type "/".