[gnome-builder] plugins/jedi-language-server: disable Jedi Python LSP by default

[Christian Hergert <chergert src gnome org>]

commit 802014d72a0d6ce9bba5a94246028dab0d2660b7
Author: Christian Hergert <chergert redhat com>
Date:   Tue Sep 27 15:43:47 2022 -0700

    plugins/jedi-language-server: disable Jedi Python LSP by default
    
    It is considered "not good" apparently and there are better options for
    us to integrate going forward.
    
    Some details can be found at:
    
      https://bugzilla.redhat.com/show_bug.cgi?id=1927132

 .../flatpak/python3-jedi-language-server.json      | 54 ----------------------
 meson_options.txt                                  |  2 +-
 org.gnome.Builder.Devel.json                       |  1 -
 .../jedi-language-server.plugin                    |  2 +-
 src/plugins/meson.build                            |  2 +-
 5 files changed, 3 insertions(+), 58 deletions(-)
---
diff --git a/meson_options.txt b/meson_options.txt
index 700232d91..765e1a767 100644
--- a/meson_options.txt
+++ b/meson_options.txt
@@ -47,7 +47,7 @@ option('plugin_html_completion', type: 'boolean')
 option('plugin_html_preview', type: 'boolean')
 option('plugin_intelephense', type: 'boolean')
 option('plugin_jdtls', type: 'boolean')
-option('plugin_jedi_language_server', type: 'boolean')
+option('plugin_jedi_language_server', type: 'boolean', value: false)
 option('plugin_jhbuild', type: 'boolean')
 option('plugin_make', type: 'boolean')
 option('plugin_make_templates', type: 'boolean')
diff --git a/org.gnome.Builder.Devel.json b/org.gnome.Builder.Devel.json
index e8fe9a1e4..01b8e628e 100644
--- a/org.gnome.Builder.Devel.json
+++ b/org.gnome.Builder.Devel.json
@@ -88,7 +88,6 @@
     ],
     "modules" : [
         "build-aux/flatpak/python-deps.json",
-        "build-aux/flatpak/python3-jedi-language-server.json",
         {
             "name" : "gperftools",
             "cleanup" : [
diff --git a/src/plugins/jedi-language-server/jedi-language-server.plugin 
b/src/plugins/jedi-language-server/jedi-language-server.plugin
index b097c208c..a951a63ad 100644
--- a/src/plugins/jedi-language-server/jedi-language-server.plugin
+++ b/src/plugins/jedi-language-server/jedi-language-server.plugin
@@ -4,7 +4,7 @@ Copyright=Copyright © 2021 Günther Wagner, Copyright © 2022 Christian Hergert
 Description=Provides integration with the jedi language server for Python
 Embedded=_gbp_jedi_register_types
 Module=jedi-language-server
-Name=Python Language Server
+Name=Python Language Server (Jedi)
 X-Category=lsps
 X-Completion-Provider-Languages=python,python3
 X-Symbol-Resolver-Languages=python,python3
diff --git a/src/plugins/meson.build b/src/plugins/meson.build
index 01da6e064..2bcd697e6 100644
--- a/src/plugins/meson.build
+++ b/src/plugins/meson.build
@@ -217,7 +217,7 @@ status += [
   'gopls ........................... (Go) : @0@'.format(get_option('plugin_gopls')),
   'intelephense ................... (PHP) : @0@'.format(get_option('plugin_intelephense')),
   'jdtls ......................... (Java) : @0@'.format(get_option('plugin_jdtls')),
-  'jedi-language-server ........ (Python) : @0@'.format(get_option('plugin_jedi_language_server')),
+  'jedi-language-server ........ (Python) : @0@ **'.format(get_option('plugin_jedi_language_server')),
   'rust-analyzer ................. (Rust) : @0@'.format(get_option('plugin_rust_analyzer')),
   'ts-language-server ... (JS/TypeScript) : @0@'.format(get_option('plugin_ts_language_server')),
   'vala-language-server .......... (Vala) : @0@'.format(get_option('plugin_vls')),