ghcide-1.4.2.2: The core of an IDE