ghcide-2.5.0.0: The core of an IDE