distinguish between "unknown" and "no Kodkodi installed" errors
distinguish between "unknown" and "no Kodkodi installed" errors

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle