We have already told people to not use ghcide directly:

https://neilmitchell.blogspot.com/2020/09/dont-use-ghcide-anymore-directly.html

The next logical step is to deprecate and eventually remove the ghcide executable.

/cc @cocreature @ndmitchell any concerns?