Should be much faster now in master branch: Code-completion performance improvement via server-side filtering