jedi: Python library - An autocompletion tool for Python that can be used for text editors </>