Searching in python/helpers/pydev/pydevd_plugins/extensions