[Bug 1134766] ghc-highlighting-kate-0.5.11 is available