Spyder extensions for the python language server
