ghcide-2.7.0.0: The core of an IDE