ghcide-1.4.2.3: The core of an IDE