Migrate python3-language-server upstream to the version maintained by the community