> Improve workspace symbol filtering/searching. Now, the sole candidates shown are guaranteed to include all the characters contained in the filter/search string It seems like this is a bit CPU-intensive for longer search queries. I'm doing some benchmarking now and I'll optimize it by using dynamic programming instead of recursion