ghcide-2.10.0.0: The core of an IDE