extensions in PythonPlugin