ghcide-2.9.0.0: The core of an IDE