ghcide-1.2.0.2: The core of an IDE