ghcide-2.11.0.0: The core of an IDE