ghcide-2.13.0.0: The core of an IDE